Quantified Modal Logic With Rigid Terms

DOI10.1002/MALQ.19880340308MaRDI QIDQ3791115zbMATH OpenOpenAlexFDO

Authors Giovanna Corsi

Publication date 1988

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19880340308

zbMATH Keywords

completenessquantified modal logicrigid designatorssemantics of modal predicate logictrans-world identity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)

Recommendations

• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• Quantified modal logic
• scientific article; zbMATH DE number 2109537
• scientific article; zbMATH DE number 1389650
• scientific article; zbMATH DE number 1749192

Cited in

(10)

• Modal logic and model theory
• Normal predicative logics with graded modalities
• Directed frames
• Quantification over names and modalities
• A unified completeness theorem for quantified modal logics
• Identity, equality, nameability and completeness. II
• ``Necessary for
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• Quantified modal logics: one approach to rule (almost) them all!
• Identity in modal logic theorem proving

This page was built for publication: Quantified Modal Logic With Rigid Terms

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