The following pages link to (Q5688815):
Displayed 9 items.
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Minimally congruential contexts: observations and questions on embedding E in K (Q691133) (← links)
- On the axiomatisation of Elgesem's logic of agency and ability (Q815019) (← links)
- Quantification in some non-normal modal logics (Q1685158) (← links)
- Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity (Q2219142) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Variants of multi-relational semantics for propositional non-normal modal logics (Q4583357) (← links)
- A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains (Q4982117) (← links)