Giambattista Amati, Fiora Pirri. A uniform tableau method for intuitionistic modal logics I. Studia Logica, 53(1):29-60, 1994.
@article{AmatiP94,
title = {A uniform tableau method for intuitionistic modal logics I},
author = {Giambattista Amati and Fiora Pirri},
year = {1994},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/AmatiP94},
cites = {0},
citedby = {0},
journal = {Studia Logica},
volume = {53},
number = {1},
pages = {29-60},
}