Quantified modal logic
From MaRDI portal
Recommendations
- QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
- A Systematic Presentation of Quantified Modal Logics
- QMML: Quantified Minimal Modal Logic and Its Applications
- Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
- First-order classical modal logic
Cited in
(19)- Generalized quantifiers and modal logic
- Partial semantics for quantified modal logic
- Quantification in some non-normal modal logics
- Investigations into quantified modal logic
- A theoretical investigation into quantitative modal logic
- Modal metatheory for quantified modal logic, with and without the Barcan formulas
- Propositional quantification in bimodal S5
- Modal logic with bounded quantification over worlds
- scientific article; zbMATH DE number 5295712 (Why is no real title available?)
- scientific article; zbMATH DE number 5734940 (Why is no real title available?)
- Quantified Modal Logic With Rigid Terms
- QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
- A unified completeness theorem for quantified modal logics
- On modalities and quantifiers
- QMML: Quantified Minimal Modal Logic and Its Applications
- A Way of Making World Quantification Explicit
- Modal Logics with Counting
- Unifying quantified modal logic
- First-order classical modal logic
This page was built for publication: Quantified modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851832)
