An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability

, &
In Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 63-76 (2023)
  Copy   BIBTEX

Abstract

Normative arrow update logic (NAUL) is a logic that combines normative temporal logic (NTL) and arrow update logic (AUL). In NAUL, norms are interpreted as arrow updates on labeled transition systems with a CTL-like logic. We show that the satisfiability problem of NAUL is decidable with a tableau method and it is in EXPSPACE.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-031-45558-2_5

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

External links

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

Through your library

My notes

Similar books and articles

Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings.Natasha Alechina, Andreas Herzig & Fei Liang (eds.) - 2023 - Springer Nature Switzerland.
A Temporal Logic for Successive Events.Yanjun Li & Jiajie Zhao - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 176-189.
An Inferential Theory of Causal Reasoning.Alexander Bochman - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 1-16.
Arrow update logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.
Connexivity Meets Church and Ackermann.Luis Estrada-González & Miguel Ángel Trejo-Huerta - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 77-85.
Reasons in Weighted Argumentation Graphs.David Streit, Vincent de Wit & Aleks Knoks - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 251-259.
Indicative Conditionals in Awareness Framework.Tianyi Chu - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 17-30.
Epistemic Monadic Boolean Algebras.Juntong Guo & Minghui Ma - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 135-148.
Belief Base: A Minimal Logic of Fine-Grained Information Dynamics.Pengfei Song - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 222-237.
The Expressive Power of Revised Datalog on Problems with Closure Properties.Shiguang Feng - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 109-125.

Analytics

Added to PP
2023-10-25

Downloads
11 (#1,415,873)

6 months
5 (#1,035,700)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references