First-order modal logic with an `actually' operator

DOI10.1305/NDJFL/1134397658zbMath1092.03010OpenAlexW2033475607MaRDI QIDQ817958

Stephanou, Yannis

Publication date: 23 March 2006

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1134397658

zbMATH Keywords

first-order modal logicaxiomatizationspossible worldactual worldserious actualismworld-variable domains

Mathematics Subject Classification ID

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

Related Items (5)

COMPLETENESS RESULTS FOR SOME TWO-DIMENSIONAL LOGICS OF ACTUALITY ⋮ STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS ⋮ Actualism, serious actualism, and quantified 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

• Axioms for actuality
• Remarks on Gregory's ``actually operator
• Investigations into quantified modal logic
• Completeness and decidability results for some propositional modal logics containing ``actually operators
• Unnamed Item
• Unnamed Item

This page was built for publication: First-order modal logic with an `actually' operator