Pages that link to "Item:Q4796510"
From MaRDI portal
The following pages link to A Systematic Presentation of Quantified Modal Logics (Q4796510):
Displaying 14 items.
- Proof analysis in modal logic (Q812101) (← links)
- Labelled modal logics: Quantifiers (Q1289100) (← links)
- A theoretical investigation into quantitative modal logic (Q1920333) (← links)
- Modal metatheory for quantified modal logic, with and without the Barcan formulas (Q1982016) (← links)
- (Q2757802) (← links)
- Modal logic with bounded quantification over worlds (Q2772882) (← links)
- Geometrisation of first-order logic (Q2795295) (← links)
- Quantified modal logic (Q2851832) (← links)
- Quantificational modal logic with sequential Kripke semantics (Q3647226) (← links)
- (Q3822144) (← links)
- QMML: Quantified Minimal Modal Logic and Its Applications (Q4812255) (← links)
- Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity (Q4823803) (← links)
- Proof theory for quantified monotone modal logics (Q5014049) (← links)
- Propositional quantifiers in labelled natural deduction for normal modal logic (Q5865562) (← links)