Temporal alethic-deontic logic and semantic tableaux
From MaRDI portal
Publication:1948272
DOI10.1016/j.jal.2012.03.002zbMath1264.03054OpenAlexW2055365081MaRDI QIDQ1948272
Publication date: 2 May 2013
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2012.03.002
modal logicdeontic logictemporal logicsemantic tableauxhistorical necessity\(\mathrm{T} \times \mathrm{W}\) logicsthe means-end principlethe ought-implies-can principle
Related Items
Quantified temporal alethic boulesic doxastic logic ⋮ Quantified temporal alethic-deontic logic ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox
Cites Work
- Rich deontic logic: A preliminary study
- Completeness of a branching-time logic with possible choices
- Proof methods for modal and intuitionistic logics
- A Gabbay-rule free axiomatization of \(T\times W\) validity
- Tools and techniques in modal logic
- The logic of historical necessity as founded on two-dimensional modal tense logic
- Combinations of tense and modality for predicate logic
- T \(\times\) W completeness
- Many-dimensional modal logics: theory and applications
- First-order modal logic
- Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
- Conditional obligation and positive permission for agents in time
- Branching-time logic with quantification over branches: The point of view of modal logic
- Handbook of philosophical logic. Vol. 1.
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item