The eliminability of the actuality operator in propositional modal logic

DOI10.1305/NDJFL/1093888509zbMath0314.02037OpenAlexW2122361360MaRDI QIDQ1220491

Allen P. Hazen

Publication date: 1978

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

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

Mathematics Subject Classification ID

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

Related Items (6)

Actuality in propositional modal logic ⋮ WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? ⋮ Expressive power, mood, and actuality ⋮ Worlds and times ⋮ Still in the mood: the versatility of subjunctive markers in modal logic ⋮ Actuality, tableaux, and two-dimensional modal logics

This page was built for publication: The eliminability of the actuality operator in propositional modal logic