The following pages link to (Q3101107):
Displayed 7 items.
- Labeled sequent calculus for justification logics (Q331048) (← links)
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Reasoning about collectively accepted group beliefs (Q652734) (← links)
- Games for hybrid logic. From semantic games to analytic calculi (Q2148784) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- A henkin-style completeness proof for the modal logic S5 (Q2695534) (← links)
- Meaning in Use (Q5213613) (← links)