scientific article

zbMath0973.03023MaRDI QIDQ2735784

Patrice Bailhache

Publication date: 4 September 2001

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

zbMATH Keywords

completenessbranching timecanonical modelstemporal deontic logic

Mathematics Subject Classification ID

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

Related Items (6)

Quantified temporal alethic boulesic doxastic logic ⋮ Leibniz and the Square: A Deontic Logic for theVir Bonus ⋮ Temporal alethic-deontic logic and semantic tableaux ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations ⋮ Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations

This page was built for publication: