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

DOI10.1023/A:1021185926311MaRDI QIDQ1868488zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

extensionbisimulationsmodal logicisomorphismconservativitygeneralized quantifiers

Mathematics Subject Classification ID

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

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

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)