Open AccessAlternative Semantics for Normative Reasoning with an Application to Regret and Responsibility
Author(s) -
Daniela Glavaničová,
Matteo Pascucci
Publication year - 2021
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2021.023
Subject(s) - regret , axiom , normative , class (philosophy) , relation (database) , semantics (computer science) , computer science , propositional calculus , propositional formula , propositional variable , epistemology , artificial intelligence , mathematics , description logic , programming language , philosophy , data mining , machine learning , geometry , intermediate logic
We provide a fine-grained analysis of notions of regret and responsibility (such as agent-regret and individual responsibility) in terms of a language of multimodal logic. This language undergoes a detailed semantic analysis via two sorts of models: (i) relating models, which are equipped with a relation of propositional pertinence, and (ii) synonymy models, which are equipped with a relation of propositional synonymy. We specify a class of strictly relating models and show that each synonymy model can be transformed into an equivalent strictly relating model. Moreover, we define an axiomatic system that captures the notion of validity in the class of all strictly relating models.