A resolution-based calculus for preferential logics

DOI10.1007/978-3-319-94205-6_33OpenAlexW2809846818MaRDI QIDQ1799110

Dirk Pattinson, Cláudia Nalon

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94205-6_33

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Proof complexity of modal resolution

Uses Software

• VAMPIRE
• SPASS
• LoTREC
• FaCT++
• Racer
• E Theorem Prover
• Cool
• leanK

This page was built for publication: A resolution-based calculus for preferential logics