FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS

DOI10.1017/S1755020319000418MaRDI QIDQ5216980zbMATH OpenWikidataFDO

Authors Matthew Harrison-Trainor

Publication date 20 February 2020

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

Full work available at URL https://doi.org/10.1017/S1755020319000418

zbMATH Keywords

completeness proofsmodal logicpossibility semantics

Mathematics Subject Classification ID

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

Recommendations

• Partiality and adjointness in modal logic
• Effective completeness theorems for modal logic
• scientific article; zbMATH DE number 3845547
• First-order classical modal logic
• Possibility semantics

Cites work

• A bimodal perspective on possibility semantics
• Effective completeness theorems for modal logic
• First-order modal logic
• From worlds to possibilities
• scientific article; zbMATH DE number 5295712 (Why is no real title available?)
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 1852921 (Why is no real title available?)
• scientific article; zbMATH DE number 5046360 (Why is no real title available?)
• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
• Model Theory
• Partiality and adjointness in modal logic
• Presheaf semantics and independence results for some non-classical first- order logics
• Results in modal correspondence theory for possibility semantics

Cited in

(5)

• scientific article; zbMATH DE number 1688382 (Why is no real title available?)
• Finding Finite Models in Multi-sorted First-Order Logic
• scientific article; zbMATH DE number 638619 (Why is no real title available?)
• scientific article; zbMATH DE number 1907992 (Why is no real title available?)
• Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic

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

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