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

DOI10.1023/A:1017579410231zbMath0988.03035MaRDI QIDQ5935787

Dominic Gregory

Publication date: 14 July 2002

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

modal logiccompletenesspossible worlds semanticsdecidability``actually operatorspropositional modal logicsrigidifiers

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items (9)

COMPLETENESS RESULTS FOR SOME TWO-DIMENSIONAL LOGICS OF ACTUALITY ⋮ A TWO-DIMENSIONAL LOGIC FOR TWO PARADOXES OF DEONTIC MODALITY ⋮ Actuality in propositional modal logic ⋮ A two-dimensional logic for diagonalization and the a priori ⋮ The Semantics of Actuality Terms: Indexical vs. Descriptive Theories ⋮ Deciding regular grammar logics with converse through first-order logic ⋮ In the mood for S4: the expressive power of the subjunctive modal language in weak background logics ⋮ Remarks on Gregory's ``actually operator ⋮ First-order modal logic with an `actually' operator

Cites Work

• Axioms for actuality
• Expressive completeness in modal language
• Actuality and quantification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Completeness and decidability results for some propositional modal logics containing ``actually operators