Remarks on Gregory's ``actually operator

DOI10.1023/A:1015726824270MaRDI QIDQ1610620zbMATH OpenOpenAlexFDO

Authors Patrick Blackburn, Maarten Marx

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

interpolationcomplexitydecidabilitymodal logicbisimulationhybrid logicnominalsactually operatorSahlqvist formulassecond box-type modality

Mathematics Subject Classification ID

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

Recommendations

• Completeness and decidability results for some propositional modal logics containing ``actually operators
• On the expressivity of first-order modal logic with ``actually
• Indexed actuality
• First-order modal logic with an `actually' operator
• Hybrid completeness

Cites work

• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• An approach to tense logic¹
• An essay in combinatory dynamic logic
• Completeness and decidability results for some propositional modal logics containing ``actually operators
• Hybrid logics: Characterization, interpolation and complexity
• Indexed actuality
• Modal logic with names
• Modal tableau calculi and interpolation
• Multi-dimensional modal logic
• Nominal tense logic
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• The computational complexity of hybrid temporal logics

Cited in

(7)

• Deciding regular grammar logics with converse through first-order logic
• Completeness results for some two-dimensional logics of actuality
• Actuality in propositional modal logic
• Arthur Prior and `now'
• A two-dimensional logic for diagonalization and the a priori
• First-order modal logic with an `actually' operator
• Completeness and decidability results for some propositional modal logics containing ``actually operators

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1610620)