COMPLETENESS RESULTS FOR SOME TWO-DIMENSIONAL LOGICS OF ACTUALITY

DOI10.1017/S1755020311000384zbMath1260.03042MaRDI QIDQ2890696

David R. Gilbert, Edwin D. Mares

Publication date: 11 June 2012

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

two-dimensional semanticsHilbert-style axiomatizationstrong finite model propertyactuality logics

Mathematics Subject Classification ID

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

Related Items (1)

Actualism, serious actualism, and quantified modal logic

Cites Work

• Some theorems on the expressive limitations of modal languages
• Axioms for actuality
• First-order modal logic with an `actually' operator
• Remarks on Gregory's ``actually operator
• Completeness and decidability results for some propositional modal logics containing ``actually operators

This page was built for publication: COMPLETENESS RESULTS FOR SOME TWO-DIMENSIONAL LOGICS OF ACTUALITY