Sequent calculi for propositional nonmonotonic logics
From MaRDI portal
Publication:5738955
DOI10.1145/505372.505374zbMath1365.03023MaRDI QIDQ5738955
Nicola Olivetti, Piero A. Bonatti
Publication date: 13 June 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/505372.505374
Related Items
Unnamed Item, Proof Complexity of Non-classical Logics, Sequent-type rejection systems for finite-valued non-deterministic logics, Semantical considerations on multiagent only knowing, Validities, antivalidities and contingencies: a multi-standard approach, Sequent calculi for choice logics, Sequent-calculi for metainferential logics, From input/output logics to conditional logics via sequents -- with provers, Paraconsistency in classical logic, On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\), The Complexity of Reasoning for Fragments of Default Logic