A unified completeness theorem for quantified modal logics

DOI10.2178/jsl/1190150295zbMath1043.03015OpenAlexW2028164131MaRDI QIDQ4451729

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)

Related Items (11)

Quantified temporal alethic boulesic doxastic logic ⋮ Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ First-order classical modal logic ⋮ Quantification in some non-normal modal logics ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ Axiomatizing relativistic dynamics using formal thought experiments ⋮ REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION ⋮ Unnamed Item ⋮ Quantifier-free epistemic term-modal logic with assignment operator ⋮ Counterpart semantics at work: independence and incompleteness results in quantified modal logic ⋮ Unifying quantified modal logic

Cites Work

• First-order modal logic
• Quantified Modal Logic With Rigid Terms
• Unnamed Item

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