Quantified modal logics: one approach to rule (almost) them all!
From MaRDI portal
Publication:6606836
Recommendations
Cites work
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames
- Contingent identity
- Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
- First-order intensional logic
- First-order modal logic
- Frame correspondences in modal predicate logic
- Free quantified epistemic logics
- Geometrisation of first-order logic
- Glivenko sequent classes and constructive cut elimination in geometric logics
- Incompleteness and the Barcan formula
- Incompleteness results in Kripke semantics
- Labelled calculi for quantified modal logics with definite descriptions
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
- Modal logic
- Proof Analysis
- Proof analysis in modal logic
- Proof theory for quantified monotone modal logics
- Quantification in nonclassical logic. Volume I.
- Quantified extensions of canonical propositional intermediate logics
- Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
- The predicate modal logic of provability
- Unifying quantified modal logic
- ``Necessary for
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)
