NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics

DOI10.1007/978-3-319-08587-6_39zbMath1425.68378OpenAlexW596652995MaRDI QIDQ3192215

Nicola Olivetti, Gian Luca Pozzato

Publication date: 26 September 2014

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2318/152376

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items

MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) ⋮ From input/output logics to conditional logics via sequents -- with provers ⋮ Mechanising Gödel-Löb provability logic in HOL light ⋮ Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi

Uses Software

• NESCOND