Abstract
We introduce reactive Kripke models for intuitionistic logic and show that the reactive semantics is stronger than the ordinary semantics. We develop Beth tableaux for the reactive semantics.
Similar content being viewed by others
References
Gabbay, D. Reactive Beth Tableaux for modal logics. April 2009, to appear in Annals of Mathematics in Artificial Intelligence 2011.
Gabbay, D. (2008). Reactive Kripke semantics and arc accessibility. In A. Avron, N. Dershowitz, & A. Rabinovich (Eds.), Pillars of computer science: Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday (LNCS 4800, pp. 292–341). Berlin: Springer.
Gabbay D., Marcelino S. (2009) Modal logics of reactive frames. Studia Logica 92: 403–444
Maksimova L. L. (1977) Craig’s Theorem in superintuitionsitic logic and amalgamable varieties of pseudo-Boolean algebras. Algebra and Logic 16: 427–455
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gabbay, D.M. Reactive intuitionistic tableaux. Synthese 179, 253–269 (2011). https://doi.org/10.1007/s11229-010-9781-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-010-9781-8