Reactive intuitionistic tableaux-Reference-Cited by-同舟云学术

Reactive intuitionistic tableaux

Published:2010-09-02 Issue:2 Volume:179 Page:253-269
ISSN:0039-7857
Container-title:Synthese
language:en
Short-container-title:Synthese

Author:

Gabbay D. M.

Publisher

Springer Science and Business Media LLC

Subject

General Social Sciences,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/s11229-010-9781-8.pdf

Reference4 articles.

1. Gabbay, D. Reactive Beth Tableaux for modal logics. April 2009, to appear in Annals of Mathematics in Artificial Intelligence 2011.

2. 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.

3. Gabbay D., Marcelino S. (2009) Modal logics of reactive frames. Studia Logica 92: 403–444

4. Maksimova L. L. (1977) Craig’s Theorem in superintuitionsitic logic and amalgamable varieties of pseudo-Boolean algebras. Algebra and Logic 16: 427–455

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reactive Kripke models and contrary to duty obligations. Part A: Semantics;Journal of Applied Logic;2013-03

2. Introducing reactive modal tableaux;Annals of Mathematics and Artificial Intelligence;2012-09-29

3. Completeness theorems for reactive modal logics;Annals of Mathematics and Artificial Intelligence;2012-09-28

4. Global view on reactivity: switch graphs and their logics;Annals of Mathematics and Artificial Intelligence;2012-09-19

5. Reactive automata;Information and Computation;2011-04