Counterpart semantics at work: independence and incompleteness results in quantified modal logic

DOI10.1007/978-3-030-97303-2_21OpenAlexW4285262424MaRDI QIDQ2094163FDOQ2094163

Francesco Belardinelli

Publication date: 28 October 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-97303-2_21

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of Greek and Roman mathematics (01A20) History of mathematics in the 17th century (01A45) History of mathematics in the 18th century (01A50) History of mathematics in the 20th century (01A60) History of mathematics in Late Antiquity and medieval Europe (01A35)

Cites Work

• A completeness theorem in modal logic
• Unifying quantified modal logic
• A unified completeness theorem for quantified modal logics
• Incompleteness results in Kripke semantics
• Quantified extensions of canonical propositional intermediate logics
• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Counterpart theory as a semantics for modal logic

This page was built for publication: Counterpart semantics at work: independence and incompleteness results in quantified modal logic

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