The Invariance Modality

DOI10.1007/978-3-031-06843-0_6MaRDI QIDQ5886459zbMATH OpenOpenAlexFDO

Authors Silvio Ghilardi

Publication date 5 April 2023

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-06843-0_6

zbMATH Keywords

quantified modal logicultrapowerspresheaf semanticsinvariance modality

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other algebras related to logic (03G25) General logic (03Bxx)

Recommendations

• scientific article; zbMATH DE number 4037817
• Invariant logics
• Invariant transformations of formulas
• Modal logic and invariance
• scientific article; zbMATH DE number 4077168

Cites work

• scientific article; zbMATH DE number 4037817 (Why is no real title available?)
• scientific article; zbMATH DE number 4072929 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• Incompleteness results in Kripke semantics
• Modal logic and model theory
• Model theory.
• Presheaf semantics and independence results for some non-classical first- order logics
• Quantification in nonclassical logic. Volume I.
• Quantified extensions of canonical propositional intermediate logics

Cited in

(1)

• Invariance and non-determinacy

This page was built for publication: The Invariance Modality

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