Pages that link to "Item:Q5014049"
From MaRDI portal
The following pages link to Proof theory for quantified monotone modal logics (Q5014049):
Displaying 9 items.
- A more unified approach to free logics (Q830379) (← links)
- (Q3509051) (← links)
- Identification through Inductive Verification (Q3623838) (← links)
- A MONADIC APPROACH TO THE MODAL THEORY (Q3818372) (← links)
- Super-Strict Implications (Q4999461) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity (Q5028311) (← links)
- Monitor Logics for Quantitative Monitor Automata (Q5111228) (← links)
- Quantified modal logics: one approach to rule (almost) them all! (Q6606836) (← links)
