The following pages link to The deducibilities of S5 (Q1159660):
Displaying 8 items.
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Admissible inference rules and semantic property of modal logics (Q823963) (← links)
- Admissible rules for logics containing S4.3 (Q1068809) (← links)
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic (Q1079558) (← links)
- Description of modal logics which enjoy co-cover property (Q2676814) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- Admissible inference rules of modal WCP-logics (Q6193927) (← links)
- An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)
