Remarks on Gregory's ``actually operator

DOI10.1023/A:1015726824270zbMath1003.03016OpenAlexW2030255039MaRDI QIDQ1610620

Maarten Marx, Patrick Blackburn

Publication date: 20 August 2002

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

Full work available at URL: https://doi.org/10.1023/a:1015726824270

zbMATH Keywords

interpolationcomplexitymodal logicdecidabilityhybrid logicbisimulationnominalsactually operatorSahlqvist formulassecond box-type modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25)

Related Items (6)

COMPLETENESS RESULTS FOR SOME TWO-DIMENSIONAL LOGICS OF ACTUALITY ⋮ Actuality in propositional modal logic ⋮ A two-dimensional logic for diagonalization and the a priori ⋮ Arthur Prior and `now' ⋮ Deciding regular grammar logics with converse through first-order logic ⋮ First-order modal logic with an `actually' operator

Cites Work

• Unnamed Item
• Nominal tense logic
• Modal tableau calculi and interpolation
• An essay in combinatory dynamic logic
• Modal logic with names
• Multi-dimensional modal logic
• Hybrid logics: characterization, interpolation and complexity
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• The computational complexity of hybrid temporal logics
• An approach to tense logic¹
• Completeness and decidability results for some propositional modal logics containing ``actually operators
• Indexed actuality

This page was built for publication: Remarks on Gregory's ``actually operator