Quantified temporal alethic-deontic logic

DOI10.12775/LLP.2014.016zbMath1375.03021OpenAlexW1997777017MaRDI QIDQ2987727

Daniel Rönnedal

Publication date: 18 May 2017

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2014.016

zbMATH Keywords

deontic logictemporal logicquantified modal logicsemantic tableauxactualismeternalismpresentismGraham Priest\(T\times W\) logicsBarcan formulas, possibilism

Mathematics Subject Classification ID

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

Related Items (1)

Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

Cites Work

• Rich deontic logic: A preliminary study
• Investigations into quantified modal logic. I
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Model theory for modal logic. Kripke models for modal predicate calculi
• The logic of historical necessity as founded on two-dimensional modal tense logic
• Combinations of tense and modality for predicate logic
• First-order modal logic
• Temporal alethic-deontic logic and semantic tableaux
• 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
• A completeness theorem in modal logic
• The identity of individuals in a strict functional calculus of second order
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• A Functional calculus of first order based on strict implication
• Modalities and Quantification
• 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

This page was built for publication: Quantified temporal alethic-deontic logic