The Invariance Modality

DOI10.1007/978-3-031-06843-0_6OpenAlexW4313173314MaRDI QIDQ5886459FDOQ5886459

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Model theory.
• Presheaf semantics and independence results for some non-classical first- order logics
• Quantification in nonclassical logic. Volume I.
• Title not available (Why is that?)
• Incompleteness results in Kripke semantics
• Quantified extensions of canonical propositional intermediate logics
• Modal logic and model theory

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)