Bounded Proofs and Step Frames

DOI10.1007/978-3-642-40537-2_6zbMath1401.03043OpenAlexW108287753MaRDI QIDQ2851932

Silvio Ghilardi, Nick Bezhanishvili

Publication date: 4 October 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40537-2_6

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items (5)

Hypersequent rules with restricted contexts for propositional modal logics ⋮ Taming Paraconsistent (and Other) Logics ⋮ Efficient reasoning with inconsistent information using C-systems ⋮ Algebraic proof theory: hypersequents and hypercompletions ⋮ The bounded proof property via step algebras and step frames

This page was built for publication: Bounded Proofs and Step Frames