Actuality in propositional modal logic

DOI10.1007/s11225-012-9395-xzbMath1278.03043OpenAlexW2140743943MaRDI QIDQ2377050

Benjamin G. Rin, Allen P. Hazen, Kai Frederick Wehmeier

Publication date: 27 June 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9395-x

zbMATH Keywords

modal logicKripke modelsactualityneighborhood models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (7)

A TWO-DIMENSIONAL LOGIC FOR TWO PARADOXES OF DEONTIC MODALITY ⋮ THE LOGIC OF SEQUENCE FRAMES ⋮ WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? ⋮ A two-dimensional logic for diagonalization and the a priori ⋮ Still in the mood: the versatility of subjunctive markers in modal logic ⋮ Actuality, tableaux, and two-dimensional modal logics ⋮ In the mood for S4: the expressive power of the subjunctive modal language in weak background logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The eliminability of the actuality operator in propositional modal logic
• Expressive completeness in modal language
• Remarks on Gregory's ``actually operator
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Completeness and decidability results for some propositional modal logics containing ``actually operators
• Indexed actuality

This page was built for publication: Actuality in propositional modal logic