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

van Ditmarsch, Hans, Kuijer, Louwe ORCID: 0000-0001-6696-9023 and Liu, Mo (2023) An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability. In: LORI 2023, Jinan, China.

Text
NAUL_for_LORI.pdf - Author Accepted Manuscript
Available under License Creative Commons Attribution.
Download (331kB) | Preview

Official URL: http://dx.doi.org/10.1007/978-3-031-45558-2_5

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.

Item Type:	Conference or Workshop Item (Unspecified)
Divisions:	Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Symplectic Admin
Date Deposited:	24 Jul 2023 13:50
Last Modified:	22 Nov 2023 14:09
DOI:	10.1007/978-3-031-45558-2_5
Related URLs:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3171858