Cut-free Sequent and Tableau Systems for Propositional Diodorean Modal Logics

Cached

Download Links

by Raje Ev Gor'e
Citations:20 - 3 self

Active Bibliography

5 Semi-analytic Tableaux For Propositional Normal Modal Logics with Applications to Nonmonotonicity – Rajeev Goré - 1991
1 Semi-analytic Tableaux For Propositional Modal Logics of Nonmonotonicity – Rajeev Goré - 1993
LABELLED ANALYTIC TABLEAUX FOR S4.3 – Andrzej Indrzejczak, An Abstract
1 Theorem-Proving for Discrete Temporal Logic – Mark Reynolds, Clare Dixon - 1998
5 Relations Between Propositional Normal Modal Logics: An Overview – Rajeev Goré, Wolfgang Heinle, Alain Heuerding - 1995
Lecture Notes on Logics of Knowledge in Computer Science – R. Ramanujam
125 Tableau Methods for Modal and Temporal Logics – Rajeev Goré - 1995
12 A New Method for Bounding the Complexity of Modal Logics – David Basin, Seán Matthews, Luca Viganò - 1997
48 Strongly Analytic Tableaux for Normal Modal Logics – Fabio Massacci - 1994
1 K-Clusters Tableaux - A Tool for Modal Logics and Inconsistent Belief Sets – Fabio Massacci - 1994
2 A Bridge Between Modal Logics and Contextual Reasoning – Fabio Massacci - 1995
14 Resolution is a Decision Procedure for Many Propositional Modal Logics – Renate A. Schmidt - 1997
1 On Lukasiewicz's four-valued modal logic – Josep Maria Font, Petr Hajek - 2000
1 5 MODEL THEORY OF MODAL LOGIC – Valentin Goranko, Martin Otto
60 An Overview of Temporal and Modal Logic Programming – Mehmet A. Orgun, Wanli Ma - 1994
21 MODEL THEORY OF MODAL LOGIC – Valentin Goranko, Martin Otto
7 A Structural Property on Modal Frames Characterizing Default Logic – Gianni Amati, Luigia Carlucci Aiello, Dov Gabbay, Fiora Pirri
2 Sequent-like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB , KDB , K 5, KD5 – Linh Anh Nguyen - 2000
12 Analytic tableau systems and interpolation for the modal logics – Linh Anh Nguyen