|
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
|
|
119
|
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
|
|
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
|
|
47
|
Strongly Analytic Tableaux for Normal Modal Logics
– Fabio Massacci
- 1994
|
|
13
|
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
|
|
55
|
An Overview of Temporal and Modal Logic Programming
– Mehmet A. Orgun, Wanli Ma
- 1994
|
|
13
|
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
|
