Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators

Two notions of necessity

Martin Davies, Lloyd Humberstone · Philosophical Studies · 1980 · 455 citations

Humanities, Philosophy, Philosophy Of Language +2

Expressive completeness in modal language

Allen Hazen · Journal of Philosophical Logic · 1976 · 59 citations

Humanities, Computer Science, Formal Methods +13

Languages of Possibility.

Mark Richard, Graeme Forbes · The Philosophical Review · 1994 · 58 citations

Humanities, Linguistics, Philosophy +5

Axioms for actuality

Harold T. Hodes · Journal of Philosophical Logic · 1984 · 47 citations

Melia on Modalism

Graeme Forbes · Philosophical Studies · 1992 · 30 citations