Reactive intuitionistic tableaux

DOI10.1007/S11229-010-9781-8zbMath1229.03014OpenAlexW2052587224MaRDI QIDQ542126

Dov M. Gabbay

Publication date: 8 June 2011

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/15859

zbMATH Keywords

Kripke modelsintuitionistic logicBeth tableauxreactive Kripke models

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Global view on reactivity: switch graphs and their logics

Cites Work

• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Modal logics of reactive frames

This page was built for publication: Reactive intuitionistic tableaux