Completeness and decidability results for some propositional modal logics containing “actually” operators

Journal of Philosophical Logic 30 (1):57-78 (2001)

Authors
Dominic Gregory
University of Sheffield
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)
Reprint years 2004
DOI 10.1023/A:1017579410231
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 42,236
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
An Essay in Classical Modal Logic.Krister Segerberg - 1971 - Uppsala, Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.

Add more references

Citations of this work BETA

Actuality, Necessity, and Logical Truth.William H. Hanson - 2006 - Philosophical Studies 130 (3):437-459.

View all 11 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
65 ( #121,747 of 2,254,263 )

Recent downloads (6 months)
7 ( #245,556 of 2,254,263 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature