Counterpart semantics at work: independence and incompleteness results in quantified modal logic
From MaRDI portal
Publication:2094163
DOI10.1007/978-3-030-97303-2_21OpenAlexW4285262424MaRDI QIDQ2094163
Publication date: 28 October 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-97303-2_21
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 18th century (01A50) History of mathematics in Late Antiquity and medieval Europe (01A35) History of mathematics in the 17th century (01A45) History of Greek and Roman mathematics (01A20)
Cites Work
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
- Unifying quantified modal logic
- Quantified extensions of canonical propositional intermediate logics
- A completeness theorem in modal logic
- Incompleteness results in Kripke semantics
- A unified completeness theorem for quantified modal logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Counterpart semantics at work: independence and incompleteness results in quantified modal logic
