Pages that link to "Item:Q829826"
From MaRDI portal
The following pages link to Intuitionistic non-normal modal logics: a general framework (Q829826):
Displaying 12 items.
- Conjunctive normal forms and weak modal logics without the axiom of necessity (Q761441) (← links)
- Models for stronger normal intuitionistic modal logics (Q1096613) (← links)
- Terminating calculi and countermodels for constructive modal logics (Q2142091) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- Countermodel construction via optimal hypersequent calculi for non-normal modal logics (Q2177577) (← links)
- A general method for proving decidability of intuitionistic modal logics (Q2506825) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Completeness for non normal intuitionistic modal logics (Q3329438) (← links)
- Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity (Q5028311) (← links)
- (Q5224887) (← links)
- (Q5365520) (← links)
- CoNP complexity for combinations of non-normal modal logics (Q6541159) (← links)