On the Complexity of Input/Output Logic

DOI10.1007/978-3-662-48561-3_38zbMath1471.03051OpenAlexW2261436607MaRDI QIDQ3457729

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• A causal approach to nonmonotonic reasoning
• A logic for default reasoning
• Permission from an input/output perspective
• Input/output logics
• Computational logic in multi-agent systems. 15th international workshop, CLIMA XV, Prague, Czech Republic, August 18--19, 2014. Proceedings
• Complexity Results for Nonmonotonic Logics
• Computational Complexity
• Constraints for input/output logics

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