Remarks on Gregory's ``actually'' operator
type: Item
instance of: scholarly article
title: Remarks on Gregory's ``actually'' operator
zbMATH Open document ID: 1003.03016
DOI: 10.1023/A:1015726824270
author: Patrick Blackburn
author: Maarten Marx
published in: Journal of Philosophical Logic
publication date: 2002-08-20T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 1784297
zbMATH Keywords: modal logic
zbMATH Keywords: nominals
zbMATH Keywords: second box-type modality
zbMATH Keywords: actually operator
zbMATH Keywords: Sahlqvist formulas
zbMATH Keywords: interpolation
zbMATH Keywords: hybrid logic
zbMATH Keywords: decidability
zbMATH Keywords: complexity
zbMATH Keywords: bisimulation
MaRDI profile type: Publication
cites work: The computational complexity of hybrid temporal logics
cites work: Hybrid logics: Characterization, interpolation and complexity
cites work: Nominal tense logic
cites work: Representation, reasoning, and relational structures: a hybrid logic manifesto
cites work: An approach to tense logic1
cites work: Modal logic with names
cites work: Completeness and decidability results for some propositional modal logics containing ``actually'' operators
cites work: Multi-dimensional modal logic
cites work: An essay in combinatory dynamic logic
cites work: Q5556395
cites work: Modal tableau calculi and interpolation
cites work: Indexed actuality
full work available at URL: a:1015726824270
OpenAlex ID: W2030255039
description: scientific article; zbMATH DE number 1784297