Expressive power of ``now'' and ``then'' operators
type: Item
instance of: scholarly article
title: Expressive power of ``now'' and ``then'' operators
zbMATH Open document ID: 1369.03110
author: Igor Yanovich
published in: Journal of Logic, Language and Information
publication date: 2016-07-04T00:00:00Z
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6600700
zbMATH Keywords: ``now'' operator
zbMATH Keywords: backwards-looking operators
zbMATH Keywords: bisimulation
zbMATH Keywords: first-order modal logic
zbMATH Keywords: hybrid logic
MaRDI profile type: Publication
full work available at URL: s10849-014-9210-3
OpenAlex ID: W2087977879
cites work: Hybrid logics: Characterization, interpolation and complexity
cites work: THE EXPRESSIVE POWER OF MEMORY LOGICS
cites work: Modal logic
cites work: Hybrid languages
cites work: Q4215593
cites work: Q3408862
cites work: Q4314073
cites work: RELATIVE-SAMENESS COUNTERPART THEORY
cites work: First-order modal logic
cites work: Q3669373
cites work: Using the Universal Modality: Gains and Questions
cites work: On logics with two variables
cites work: To the memory of Arthur Prior Formal properties of ‘now’
cites work: `Now' and `then' in tense logic
cites work: Interpolation for extended modal languages
DOI: 10.1007/S10849-014-9210-3
description: scientific article; zbMATH DE number 6600700