Quantified modal logics: one approach to rule (almost) them all!
From MaRDI portal
Publication:6606836
DOI10.1007/S10992-024-09754-7MaRDI QIDQ6606836FDOQ6606836
Authors: Eugenio Orlandelli 
Publication date: 17 September 2024
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Recommendations
Cites Work
- Modal logic
- Title not available (Why is that?)
- Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
- Proof Analysis
- Proof analysis in modal logic
- Geometrisation of first-order logic
- The predicate modal logic of provability
- First-order modal logic
- Contingent identity
- First-order intensional logic
- Quantification in nonclassical logic. Volume I.
- Unifying quantified modal logic
- Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
- Incompleteness results in Kripke semantics
- Quantified extensions of canonical propositional intermediate logics
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
- Incompleteness and the Barcan formula
- Proof theory for quantified monotone modal logics
- Free quantified epistemic logics
- Frame correspondences in modal predicate logic
- ``Necessary for
- Labelled calculi for quantified modal logics with definite descriptions
- A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames
- Glivenko sequent classes and constructive cut elimination in geometric logics
This page was built for publication: Quantified modal logics: one approach to rule (almost) them all!
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6606836)
