Quantified temporal alethic-deontic logic
From MaRDI portal
Recommendations
- Temporal alethic-deontic logic and semantic tableaux
- A temporal dynamic deontic logic
- Quantified temporal alethic boulesic doxastic logic
- Temporal Deontic Defeasible Logic: An Analytical Approach
- scientific article; zbMATH DE number 1424034
- Quantales and Temporal Logics
- A neutral temporal deontic STIT logic
- Temporal Reasoning over Deontic Specifications
- scientific article; zbMATH DE number 2101971
- Temporal STIT logic and its application to normative reasoning
Cites work
- A completeness theorem in modal logic
- A Functional calculus of first order based on strict implication
- Agency and deontic logic
- An introduction to non-classical logic. From if to is
- Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
- Combinations of tense and modality for predicate logic
- Conditional obligation and positive permission for agents in time
- First-order modal logic
- scientific article; zbMATH DE number 3125693 (Why is no real title available?)
- scientific article; zbMATH DE number 1028832 (Why is no real title available?)
- scientific article; zbMATH DE number 1028834 (Why is no real title available?)
- scientific article; zbMATH DE number 3438814 (Why is no real title available?)
- scientific article; zbMATH DE number 1395652 (Why is no real title available?)
- scientific article; zbMATH DE number 1405876 (Why is no real title available?)
- scientific article; zbMATH DE number 3212004 (Why is no real title available?)
- scientific article; zbMATH DE number 3260754 (Why is no real title available?)
- scientific article; zbMATH DE number 3300580 (Why is no real title available?)
- scientific article; zbMATH DE number 3325547 (Why is no real title available?)
- scientific article; zbMATH DE number 3051936 (Why is no real title available?)
- Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Investigations into quantified modal logic. I
- Modal logic for philosophers
- Modalities and Quantification
- Model theory for modal logic. Kripke models for modal predicate calculi
- Rich deontic logic: A preliminary study
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Temporal alethic-deontic logic and semantic tableaux
- The identity of individuals in a strict functional calculus of second order
- The logic of historical necessity as founded on two-dimensional modal tense logic
Cited in
(11)- 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
- Canonical models for temporal deontic logic
- scientific article; zbMATH DE number 3855066 (Why is no real title available?)
- scientific article; zbMATH DE number 3875224 (Why is no real title available?)
- Propositional Quantifiers in Deontic Logic
- scientific article; zbMATH DE number 1735834 (Why is no real title available?)
- Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox
- scientific article; zbMATH DE number 1405878 (Why is no real title available?)
- scientific article; zbMATH DE number 7307011 (Why is no real title available?)
- Quantified temporal alethic boulesic doxastic logic
This page was built for publication: Quantified temporal alethic-deontic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2987727)
