On the Complexity of Input/Output Logic

DOI10.1007/978-3-662-48561-3_38MaRDI QIDQ3457729zbMATH OpenOpenAlexFDO

Authors Xin Sun, Diego Agustín Ambrossio

Publication date 17 December 2015

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL http://orbilu.uni.lu/handle/10993/23949

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• On the complexity of input/output logic
• scientific article; zbMATH DE number 3478767
• Complexity of fixed-size bit-vector logics
• Logical operations and Kolmogorov complexity
• scientific article; zbMATH DE number 3510201
• The complexity of word circuits
• The complexity of word circuits
• On the complexity of circuit satisfiability
• On bounds for complexity of circuits of multi-input functional elements
• Circuit complexity and multiplicative complexity of Boolean functions

Cites work

• A causal approach to nonmonotonic reasoning
• A logic for default reasoning
• Complexity Results for Nonmonotonic Logics
• Computational Complexity
• Computational logic in multi-agent systems. 15th international workshop, CLIMA XV, Prague, Czech Republic, August 18--19, 2014. Proceedings
• Constraints for input/output logics
• scientific article; zbMATH DE number 5595151 (Why is no real title available?)
• scientific article; zbMATH DE number 6407643 (Why is no real title available?)
• Input/output logics
• Permission from an input/output perspective

Cited in

(5)

• On the complexity of input/output logic
• scientific article; zbMATH DE number 3863114 (Why is no real title available?)
• Complexity of fixed-size bit-vector logics
• scientific article; zbMATH DE number 6741901 (Why is no real title available?)
• A concept approach to input/output logic

This page was built for publication: On the Complexity of Input/Output Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3457729)