Reactive intuitionistic tableaux
pp. 253-269
Résumé
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.
Détails de la publication
Publié dans:
van Benthem Johan, Kuipers Theo A., Visser Henk (2011) Logic and philosophy of science in the footsteps of E. W. Beth. Synthese 179 (2).
Pages: 253-269
DOI: 10.1007/s11229-010-9781-8
Citation complète:
Gabbay Dov M., 2011, Reactive intuitionistic tableaux. Synthese 179 (2), Logic and philosophy of science in the footsteps of E. W. Beth, 253-269. https://doi.org/10.1007/s11229-010-9781-8.