scientific article; zbMATH DE number 970636

zbMath0867.03007MaRDI QIDQ5688815

Andreas Herzig, Olivier Gasquet

Publication date: 4 August 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

translationsemanticsnormal modal logicsclassical modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (9)

Variants of multi-relational semantics for propositional non-normal modal logics ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Quantification in some non-normal modal logics ⋮ Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity ⋮ Minimally congruential contexts: observations and questions on embedding E in K ⋮ A logic for reasoning about counterfactual emotions ⋮ 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 ⋮ Modular sequent calculi for classical modal logics ⋮ On the axiomatisation of Elgesem's logic of agency and ability

This page was built for publication: