Remarks on Gregory's ``actually operator
DOI10.1023/A:1015726824270zbMATH Open1003.03016OpenAlexW2030255039MaRDI QIDQ1610620FDOQ1610620
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
Recommendations
interpolationcomplexitydecidabilitymodal logicbisimulationhybrid logicnominalsactually operatorSahlqvist formulassecond box-type modality
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)
Cites Work
- Title not available (Why is that?)
- Nominal tense logic
- Hybrid logics: Characterization, interpolation and complexity
- An essay in combinatory dynamic logic
- Modal tableau calculi and interpolation
- Representation, reasoning, and relational structures: a hybrid logic manifesto
- Multi-dimensional modal logic
- Modal logic with names
- An approach to tense logic1
- The computational complexity of hybrid temporal logics
- Completeness and decidability results for some propositional modal logics containing ``actually operators
- Indexed actuality
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
- A two-dimensional logic for diagonalization and the a priori
- Arthur Prior and `now'
- Completeness and decidability results for some propositional modal logics containing ``actually operators
- First-order modal logic with an `actually' operator
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)
