2000
DOI: 10.1007/3-540-46238-4_11
|View full text |Cite
|
Sign up to set email alerts
|

Labelled Tableaux for Non-Normal Modal Logics

Abstract: In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
9
0

Year Published

2000
2000
2023
2023

Publication Types

Select...
5
2

Relationship

2
5

Authors

Journals

citations
Cited by 12 publications
(9 citation statements)
references
References 10 publications
0
9
0
Order By: Relevance
“…The term classical modal logic is often used to refer to these logics (Chellas, 1980). The recent interest in classical modal logic has resulted in some proof procedures for it (Gasquet & Herzig, 1996; Governatori & Luppi, 2000; Giunchiglia et al ., 2002; Hansen, 2004). For , the technique published in Gasquet and Herzig (1996) is chosen.…”
Section: The Languagementioning
confidence: 99%
“…The term classical modal logic is often used to refer to these logics (Chellas, 1980). The recent interest in classical modal logic has resulted in some proof procedures for it (Gasquet & Herzig, 1996; Governatori & Luppi, 2000; Giunchiglia et al ., 2002; Hansen, 2004). For , the technique published in Gasquet and Herzig (1996) is chosen.…”
Section: The Languagementioning
confidence: 99%
“…The label algebra contrary to the graph reasoning mechanism is not based on first order logic and thus can deal with complex structure and is not limited to particular fragments. Indeed KEM has been used with complex label schema for non-normal modal logics in a uniform way [10] as well as other intensional logics such as conditional logics [2]. For these reasons we believe that KEM offers a suitable framework for decision procedure for multi-modal logic for MAS.…”
Section: Conclusion and Related Workmentioning
confidence: 99%
“…While this could be a problem for other combination techniques and tableaux systems, this does not affect fibring, and KEM. It is possible to differentiate normal and non-normal modal logic in KEM based on additional conditions on the substitution function ρ, see [14].…”
Section: Inference Rulesmentioning
confidence: 99%
“…It combines linear tableau expansion rules with natural deduction rules and an analytic version of the cut rule. The tableau rules are supplemented with a powerful and flexible label algebra that allows the system to deal with a large class of intensional logics admitting possible world semantics (non-normal modal logic [14], multi-modal logics [11] and conditional logics [2]). The label algebra is intended to simulate the possible world semantics and it has a very strong relationship with fibring [10].…”
Section: Introductionmentioning
confidence: 99%