Completeness and decidability results for some propositional modal logics containing “actually” operators
Graduate studies at Western
Journal of Philosophical Logic 30 (1):57-78 (2001)
|Abstract||The addition of "actually" operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing "actually" operators has concentrated entirely upon extensions of KT5 and has employed a particular modeltheoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing "actually" operators, the weakest of which are conservative extensions of K, using a novel generalisation of the standard semantics|
|Keywords||modal logic possible worlds semantics “actually” operators rigidifiers|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Frank Wolter (1997). Completeness and Decidability of Tense Logics Closely Related to Logics Above K. Journal of Symbolic Logic 62 (1):131-158.
Jan Plaza (2007). Logics of Public Communications. Synthese 158 (2):165 - 179.
Ágnes Kurucz (2000). Arrow Logic and Infinite Counting. Studia Logica 65 (2):199-222.
S. K. Thomason (1980). Independent Propositional Modal Logics. Studia Logica 39 (2-3):143 - 144.
Torben Braüner (2005). Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Studia Logica 81 (2):191 - 226.
Stéphane Demri & Dov Gabbay (2000). On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. Studia Logica 66 (3):349-384.
Gonzalo E. Reyes & Marek W. Zawadowski (1993). Formal Systems for Modal Operators on Locales. Studia Logica 52 (4):595 - 613.
Patrick Blackburn & Maarten Marx (2002). Remarks on Gregory's “Actually” Operator. Journal of Philosophical Logic 31 (3):281-288.
Marcus Kracht & Frank Wolter (1997). Simulation and Transfer Results in Modal Logic – a Survey. Studia Logica 59 (2):149-177.
Added to index2009-01-28
Total downloads13 ( #95,599 of 739,353 )
Recent downloads (6 months)1 ( #61,538 of 739,353 )
How can I increase my downloads?