Pages that link to "Item:Q4365323"
From MaRDI portal
The following pages link to Relations between propositional normal modal logics: an overview (Q4365323):
Displaying 9 items.
- LWB (Q14468) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- A benchmark method for the propositional modal logics K, KT, S4 (Q1977575) (← links)
- Valentini's cut-elimination for provability logic resolved (Q2890695) (← links)
- LWBtheory: Information about some propositional logics via the WWW (Q4340933) (← links)
- Efficient loop-check for backward proof search in some non-classical propositional logics (Q4645239) (← links)
- Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity (Q5028311) (← links)
- A formal, diagrammatic, and operational study of normative relations (Q6162117) (← links)
- On the modal logic K plus theories (Q6560175) (← links)