One connection between standard invariance conditions on modal formulas and generalized quantifiers

DOI10.1023/A:1021185926311zbMATH Open1016.03021OpenAlexW1484295433MaRDI QIDQ1868488FDOQ1868488

Authors: Dorit Ben Shalom 

Publication date: 27 April 2003

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

Full work available at URL: https://doi.org/10.1023/a:1021185926311

Recommendations

• Modal logic and invariance
• Generalized quantifiers and modal logic
• A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
• Modality, invariance, and logical truth
• The semantic characterization of modal logical connectives

zbMATH Keywords

extensionbisimulationsmodal logicisomorphismconservativitygeneralized quantifiers

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80)

Cited In (1)

• Modal logic and invariance

This page was built for publication: One connection between standard invariance conditions on modal formulas and generalized quantifiers

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