scholarly journals Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics

10.29007/vn4w ◽  
2018 ◽  
Author(s):  
Stefan Minica ◽  
Mohammad Khodadadi ◽  
Renate A. Schmidt ◽  
Dmitry Tishkovsky
Keyword(s):  
Tableau Calculi

This paper presents two tableau provers for deciding interrogative-epistemic logics. They are both based on a tableau calculus generated using a recently introduced tableau synthesis framework. We have implemented the calculus using two approaches, namely Mettel2 and Qtab Here, we describe and compare these different approaches of implementing a tableau procedure.

scholarly journals JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi

2017 ◽  
Vol 150 (1) ◽  
pp. 119-142 ◽  
Author(s):  
Mauro Ferrari ◽  
Camillo Fiorentini ◽  
Guido Fiorino
Keyword(s):  
Tableau Calculi

Many-valued tableau calculi for decision logic based on approximation regions in VPRS

2021 ◽  
Vol 13 (4) ◽  
pp. 235
Author(s):  
Yotaro Nakayama ◽  
Seiki Akama ◽  
Tetsuya Murai
Keyword(s):  
Decision Logic ◽  
Tableau Calculi

Tableau Calculi for Preference-Based Conditional Logics

2003 ◽  
pp. 81-101 ◽  
Author(s):  
Laura Giordano ◽  
Valentina Gliozzi ◽  
Nicola Olivetti ◽  
Camilla Schwind
Keyword(s):  
Tableau Calculi

Tableau Calculi for $\mathcal{CSL}$ over minspaces

2010 ◽  
pp. 52-66 ◽  
Author(s):  
Régis Alenda ◽  
Nicola Olivetti ◽  
Camilla Schwind ◽  
Dmitry Tishkovsky
Keyword(s):  
Tableau Calculi

Tableau Calculi for Logic Programs under Answer Set Semantics

2013 ◽  
Vol 14 (2) ◽  
pp. 1-40 ◽  
Author(s):  
Martin Gebser ◽  
Torsten Schaub
Keyword(s):  
Logic Programs ◽  
Tableau Calculi ◽  
Answer Set Semantics ◽  
Answer Set

scholarly journals Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC

2018 ◽  
Vol 15 (3) ◽  
pp. 609 ◽  
Author(s):  
Richard Zach
Keyword(s):  
Conditional Logic ◽  
Cut Rule ◽  
Analytic Tableaux ◽  
Tableau Calculi

Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.

scholarly journals Tableau Calculi for the Logics of Finite k-Ary Trees

2002 ◽  
pp. 115-129
Author(s):  
Mauro Ferrari ◽  
Camillo Fiorentini ◽  
Guido Fiorino
Keyword(s):  
Tableau Calculi
Sign in / Sign up

Export Citation Format

Share Document