Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity
type: Item
instance of: scholarly article
title: Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity
zbMATH Open document ID: 1364.03028
author: Pablo F. Castro
published in: Studia Logica
publication date: 2017-05-15T00:00:00Z
review text: The author examines a deontic logic of actions known as DAL, which was devised by \textit{K. Segerberg} [Stud. Log. 41, 269--282 (1982; Zbl 0537.03018)] and subsequently studied and varied in papers by \textit{P. F. Castro} and \textit{T. S. E. Maibaum} [Lect. Notes Comput. Sci. 5076, 34--48 (2008; Zbl 1143.68595); J. Appl. Log. 7, No. 4, 441--466 (2009; Zbl 1193.03060)] and most recently by \textit{R. Trypuz} and \textit{P. Kulicki} [J. Log. Comput. 25, No. 5, 1241--1260 (2015; Zbl 1336.03027)]. The focus is on computational aspects of the system. The author gives tableau characterizations for DAL and its extant variants, and obtains results on the computational complexity of their satisfiability problems.
reviewed by: David Makinson
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 6715507
zbMATH Keywords: deontic action logics
zbMATH Keywords: tableau systems
zbMATH Keywords: computation complexity
zbMATH Keywords: SAT
MaRDI profile type: Publication
full work available at URL: s11225-016-9688-6
OpenAlex ID: W2528006531
cites work: Computational Complexity
cites work: A Tableaux System for Deontic Action Logic
cites work: Deontic action logic, atomic Boolean algebras and fault-tolerance
cites work: Q4385542
cites work: Q4863622
cites work: A practical decision method for propositional dynamic logic (Preliminary Report)
cites work: A deontic logic of action
cites work: Q5560258
cites work: On deontic action logics based on Boolean algebra
DOI: 10.1007/S11225-016-9688-6
description: scientific article; zbMATH DE number 6715507