A Neutral Temporal Deontic STIT Logic

by   Kees van Berkel, et al.
Logic Industries

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.


page 1

page 2

page 3

page 4


Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics

This paper is an appendix to the paper "Cut-free Calculi and Relational ...

Paraconsistent Gödel modal logic on bi-relational frames

We further develop the paraconsistent Gödel modal logic. In this paper, ...

Cut-free Calculi and Relational Semantics for Temporal STIT Logics

We present cut-free labelled sequent calculi for a central formalism in ...

Axiomatic systems and topological semantics for intuitionistic temporal logic

We propose four axiomatic systems for intuitionistic linear temporal log...

Routley Star in Information-Based Semantics

It is common in various non-classical logics, especially in relevant log...

Bisimulations for intuitionistic temporal logics

We introduce bisimulations for the logic ITL^e with `next', `until' and ...

Automated Reasoning in Deontic Logic

Deontic logic is a very well researched branch of mathematical logic and...

Please sign up or login with your details

Forgot password? Click here to reset