Expressive power of ``now and ``then operators

DOI10.1007/S10849-014-9210-3MaRDI QIDQ302173zbMATHOpenAlexFDO

Authors 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

bisimulation``now operatorbackwards-looking operatorsfirst-order modal logichybrid logic

Mathematics Subject Classification ID

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

Recommendations

• `Now' and `then' in tense logic
• How much expressive power is needed for natural language temporal indexicality?
• On the expressive power of first-order modal logic with two-dimensional operators
• On the expressivity of first-order modal logic with ``actually
• \textit{Once} and \textit{for all}

Cites work

• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 1215461 (Why is no real title available?)
• scientific article; zbMATH DE number 698631 (Why is no real title available?)
• First-order modal logic
• Handbook of modal logic
• Hybrid languages
• Hybrid logics: Characterization, interpolation and complexity
• Interpolation for extended modal languages
• Modal logic
• On logics with two variables
• Relative-sameness counterpart theory
• The expressive power of memory logics
• To the memory of Arthur Prior Formal properties of ‘now’
• Using the Universal Modality: Gains and Questions
• `Now' and `then' in tense logic

Cited in

(8)

• On the expressive power of first-order modal logic with two-dimensional operators
• Expressive power and intensional operators
• `Now' and `then' in tense logic
• How much expressive power is needed for natural language temporal indexicality?
• Logic talk
• The problem of cross-world predication
• The Fitch-Church paradox and first order modal logic
• On the expressivity of first-order modal logic with ``actually

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

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