Temporal logic and its application to normative reasoning

DOI10.1080/11663081.2013.841359zbMath1398.03080OpenAlexW1964288468MaRDI QIDQ4583324

Emiliano Lorini

Publication date: 28 August 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2013.841359

zbMATH Keywords

deontic logictemporal logicaxiomatisationSTIT logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (7)

Some forms of collectively bringing about or `seeing to it that' ⋮ A STIT logic for reasoning about social influence ⋮ Orthogonal frames and indexed relations ⋮ A Qualitative Theory of Cognitive Attitudes and their Change ⋮ RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support ⋮ Stit semantics for epistemic notions based on information disclosure in interactive settings

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for reasoning about counterfactual emotions
• A logic of intention and attempt
• Alternative axiomatics and complexity of deliberative STIT theories
• On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
• Time and modality in the logic of agency
• A Gabbay-rule free axiomatization of \(T\times W\) validity
• Axioms for deliberative stit
• Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991
• T \(\times\) W completeness
• Propositional \(\text Q\)-logic
• The deliberative stit: A study of action, omission, ability, and obligation
• Complexity results of STIT fragments
• Moral conflicts between groups of agents
• Intention is choice with commitment
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• Changing legal systems: legal abrogations and annulments in Defeasible Logic
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• The modal logic of inequality
• Branching-time logic with quantification over branches: The point of view of modal logic

This page was built for publication: Temporal logic and its application to normative reasoning