Modal logic and invariance

DOI10.3166/JANCL.18.153-173MaRDI QIDQ3643311zbMATH OpenOpenAlexFDO

Authors Denis Bonnay, Johan van Benthem

Publication date 11 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.18.153-173

zbMATH Keywords

abstract model theorybisimulationdynamic logicinvariancemodal logicsafety

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract model theory (03C95)

Recommendations

• One connection between standard invariance conditions on modal formulas and generalized quantifiers
• Logical operations and invariance
• Logicality and Invariance
• Swap logic
• Modality, invariance, and logical truth

Cites work

• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• Logic, logics, and logicism
• Logical operations and invariance
• Logicality and Invariance
• Modal languages and bounded fragments of predicate logic

Cited in

(14)

• Modality, invariance, and logical truth
• Modality, bisimulation and interpolation in infinitary logic
• Zero-one laws for modal logic
• One connection between standard invariance conditions on modal formulas and generalized quantifiers
• Tracking information
• scientific article; zbMATH DE number 4037817 (Why is no real title available?)
• The Range of Modal Logic
• Canonical formulas \(\mathbf{wK4}\)
• Generalized Quantifiers Meet Modal Neighborhood Semantics
• Invariance and necessity
• The Invariance Modality
• Abstract logics as classifications of abstract structures
• Modern faces of filtration
• Set-theoretical invariance criteria for logicality

This page was built for publication: Modal logic and invariance

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