Cut-free tableau calculi for some intuitionistic modal logics

DOI10.1023/A:1005072627389zbMath0895.03006MaRDI QIDQ1378426

Mauro Ferrari

Publication date: 14 September 1998

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

possible worldsintuitionistic modal logiccut-free calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

Almost duplication-free tableau calculi for prepositional lax logics

This page was built for publication: Cut-free tableau calculi for some intuitionistic modal logics