Pages that link to "Item:Q1289100"
From MaRDI portal
The following pages link to Labelled modal logics: Quantifiers (Q1289100):
Displaying 9 items.
- An approach to infinitary temporal proof theory (Q1762733) (← links)
- Mechanizing common knowledge logic using COQ (Q2643149) (← links)
- (Q3574465) (← links)
- Labelled propositional modal logics: theory and practice (Q4381865) (← links)
- (Q4731169) (← links)
- A Systematic Presentation of Quantified Modal Logics (Q4796510) (← links)
- Proof theory for quantified monotone modal logics (Q5014049) (← links)
- Propositional quantifiers in labelled natural deduction for normal modal logic (Q5865562) (← links)
- A spatial logic with time and quantifiers (Q6546610) (← links)