A Neutral Temporal Deontic STIT Logic

In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Springer. pp. 340-354 (2019)
  Copy   BIBTEX

Abstract

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting.

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Cut-free Calculi and Relational Semantics for Temporal STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In Francesco Calimeri, Nicola Leone & Marco Manna (eds.), Logics in Artificial Intelligence. Springer. pp. 803 - 819.
From BDI and stit to bdi-stit logic.Caroline Semmling & Heinrich Wansing - 2008 - Logic and Logical Philosophy 17 (1-2):185-207.
Temporal logic and its application to normative reasoning.Emiliano Lorini - 2013 - Journal of Applied Non-Classical Logics 23 (4):372-399.
Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.
A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
Deontic, Epistemic, and Temporal Modal Logics.Risto Hilpinen - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 491–509.
Axioms for deliberative stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.

Analytics

Added to PP
2019-10-31

Downloads
389 (#63,581)

6 months
81 (#72,893)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tim Lyon
Technische Universität Dresden

References found in this work

Facing the future: agents and choices in our indeterminist world.Nuel D. Belnap - 2001 - New York: Oxford University Press. Edited by Michael Perloff & Ming Xu.
Modal logic.Yde Venema - 2000 - Philosophical Review 109 (2):286-289.
Contrary-to-duty obligations.Henry Prakken & Marek Sergot - 1996 - Studia Logica 57 (1):91 - 115.

View all 12 references / Add more references