A unified completeness theorem for quantified modal logics

DOI10.2178/JSL/1190150295zbMATH Open1043.03015OpenAlexW2028164131MaRDI QIDQ4451729FDOQ4451729

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

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

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)

Cites Work

• Title not available (Why is that?)
• First-order modal logic
• Quantified Modal Logic With Rigid Terms

Cited In (16)

• Quantified temporal alethic boulesic doxastic logic
• Title not available (Why is that?)
• Commutativity of Quantifiers in Varying-Domain Kripke Models
• Title not available (Why is that?)
• First-order classical modal logic
• Title not available (Why is that?)
• A Boolean-algebraic approach to completeness for normal modal predicate logics
• Quantification in some non-normal modal logics
• REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION
• Beyond Knowing That: A New Generation of Epistemic Logics
• Quantifier-free epistemic term-modal logic with assignment operator
• Unifying quantified modal logic
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Title not available (Why is that?)
• Axiomatizing relativistic dynamics using formal thought experiments
• Counterpart semantics at work: independence and incompleteness results in quantified 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)