A unified completeness theorem for quantified modal logics

DOI10.2178/JSL/1190150295MaRDI QIDQ4451729zbMATH OpenOpenAlexFDO

Authors Giovanna Corsi

Publication date 1 March 2004

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1190150295

zbMATH Keywords

completeness theorems for first-order modal logicspossible worlds semantics with inner and outer domainsquantified extensions of modal system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 817497
• Incompleteness and the Barcan formula
• Quantified modal logic
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• Quantified Modal Logic With Rigid Terms

Cites work

• First-order modal logic
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• Quantified Modal Logic With Rigid Terms

Cited in

(19)

• Quantification in some non-normal modal logics
• Quantifier-free epistemic term-modal logic with assignment operator
• Counterpart semantics at work: independence and incompleteness results in quantified modal logic
• Completeness theorems for -fragment of first-order modal logic
• Beyond knowing that: a new generation of epistemic logics
• scientific article; zbMATH DE number 5295712 (Why is no real title available?)
• Commutativity of Quantifiers in Varying-Domain Kripke Models
• scientific article; zbMATH DE number 124194 (Why is no real title available?)
• scientific article; zbMATH DE number 817497 (Why is no real title available?)
• Two variable fragment of term modal logic
• Axiomatizing relativistic dynamics using formal thought experiments
• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
• A Boolean-algebraic approach to completeness for normal modal predicate logics
• Completeness theorems for \(\exists \Box\)-bundled fragment of first-order modal logic
• A logic of knowledge and justifications, with an application to computational trust
• Unifying quantified modal logic
• Quantified temporal alethic boulesic doxastic logic
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• First-order classical modal logic

This page was built for publication: A unified completeness theorem for quantified modal logics

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