Publication:5688815
From MaRDI portal
zbMath0867.03007MaRDI QIDQ5688815
Andreas Herzig, Olivier Gasquet
Publication date: 4 August 1997
03B45: Modal logic (including the logic of norms)
Related Items
Variants of multi-relational semantics for propositional non-normal modal logics, 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, A logic for reasoning about counterfactual emotions, Minimally congruential contexts: observations and questions on embedding E in K, On the axiomatisation of Elgesem's logic of agency and ability, Quantification in some non-normal modal logics, Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity, Modular sequent calculi for classical modal logics, Non-normal modal logics and conditional logics: semantic analysis and proof theory