A Seligman-Style Tableau System

DOI10.1007/978-3-642-45221-5_11MaRDI QIDQ2870122zbMATH OpenOpenAlexWikidataFDO

Authors Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen

Publication date 17 January 2014

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-45221-5_11

Mathematics Subject Classification ID

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

Recommendations

• Tableaux and related methods
• scientific article; zbMATH DE number 3322079
• scientific article; zbMATH DE number 5511125
• Completeness and termination for a Seligman-style tableau system
• Tableau complexes
• Implementing semantic tableaux

Cited in

(3)

• Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
• Completeness and termination for a Seligman-style tableau system
• Synthetic completeness proofs for Seligman-style tableau systems

This page was built for publication: A Seligman-Style Tableau System

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870122)