Expressive power of ``now and ``then operators

DOI10.1007/s10849-014-9210-3zbMath1369.03110OpenAlexW2087977879MaRDI QIDQ302173

Igor Yanovich

Publication date: 4 July 2016

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-014-9210-3

zbMATH Keywords

hybrid logicbisimulationfirst-order modal logic``now operatorbackwards-looking operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Temporal logic (03B44)

Related Items (5)

On the Expressivity of First-Order Modal Logic with “Actually” ⋮ The Fitch-Church paradox and first order modal logic ⋮ The problem of cross-world predication ⋮ Logic talk ⋮ On the expressive power of first-order modal logic with two-dimensional operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• First-order modal logic
• Hybrid languages
• On logics with two variables
• `Now' and `then' in tense logic
• Hybrid logics: characterization, interpolation and complexity
• THE EXPRESSIVE POWER OF MEMORY LOGICS
• Interpolation for extended modal languages
• RELATIVE-SAMENESS COUNTERPART THEORY
• Using the Universal Modality: Gains and Questions
• To the memory of Arthur Prior Formal properties of ‘now’

This page was built for publication: Expressive power of ``now and ``then operators