On the complexity of input/output logic
type: Item
instance of: scholarly article
title: On the complexity of input/output logic
zbMATH Open document ID: 1436.03142
author: Xin Sun
author: Livio Robaldo
published in: Journal of Applied Logic
publication date: 2018-01-11T00:00:00Z
full work available at URL: http://orbilu.uni.lu/handle/10993/23949
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 6824749
zbMATH Keywords: input/output logic
zbMATH Keywords: decidability
zbMATH Keywords: complexity
zbMATH Keywords: deontic logic
zbMATH Keywords: norm-based semantics
MaRDI profile type: Publication
OpenAlex ID: W2593005162
cites work: Computational Complexity
cites work: A universal logic approach to adaptive logics
cites work: Q5692402
cites work: Propositional dynamic logic of regular programs
cites work: Q5175694
cites work: Conflict-driven answer set solving: from theory to practice
cites work: Computing strong and weak permissions in defeasible logic
cites work: The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
cites work: Reasoning About Permission and Obligation
cites work: Q5422030
cites work: Reasoning with Moral Conflicts
cites work: Input/output logics
cites work: Constraints for input/output logics
cites work: Permission from an input/output perspective
cites work: Q4440545
cites work: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
cites work: “Sing and Dance!”
cites work: A near-optimal method for reasoning about action
cites work: Interpretation and inference with maximal referential terms
cites work: On the identification of quantifiers' witness sets: a study of multi-quantifier sentences
cites work: Normative Consequence: The Problem of Keeping It Whilst Giving It up
cites work: A theory of permission based on the notion of derogation
cites work: Adaptive logic characterizations of input/output logic
cites work: How to Build Input/Output Logic
cites work: The dynamic logic of permission
cites work: Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex
cites work: Q5560264
cites work: Q3766851
DOI: 10.1016/J.JAL.2017.03.002
description: scientific article; zbMATH DE number 6824749