Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)
Abstract
Input/Output (I/O) logic is a general framework for reasoning about conditional norms and/or causal relations. We streamline Bochman’s causal I/O logics and their original version via proof-search5 oriented sequent calculi. As a byproduct, we obtain new, simple semantics for all these logics, complexity bounds, embeddings into normal modal logics, and efficient deduction methods. Our work encompasses many scattered results and provides uniform solutions to various unresolved problems.
Agata Ciabattoni
Professor of Non-Classical Logics in Computer Science
Agata Ciabattoni is a full professor of non-classical logics in computer science. She is an expert in proof theory for non-classical logics and their applications in various fields. Among other things, she has been investigating proof theory for deontic logic, its applications in AI, connections to legal reasoning, and formalisation of the deontic reasoning of the Mı̄māmsā school of Indian philosophy.