FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS

DOI10.1017/S1755020319000418WikidataQ113857268 ScholiaQ113857268MaRDI QIDQ5216980

Matthew Harrison-Trainor

Publication date: 20 February 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

modal logiccompleteness proofspossibility semantics

Mathematics Subject Classification ID

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

Related Items (1)

Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Presheaf semantics and independence results for some non-classical first- order logics
• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
• From worlds to possibilities
• First-order modal logic
• Effective completeness theorems for modal logic
• A bimodal perspective on possibility semantics
• Results in modal correspondence theory for possibility semantics
• Model Theory

This page was built for publication: FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS