A framework for using knowledge in tableau proofs
From MaRDI portal
Publication:4610337
DOI10.1007/BFB0027424zbMATH Open1412.68262OpenAlexW1596013579MaRDI QIDQ4610337FDOQ4610337
Authors: Benjamin Shults 
Publication date: 15 January 2019
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0027424
Recommendations
- A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
- scientific article; zbMATH DE number 1612565
- scientific article; zbMATH DE number 1543300
- scientific article; zbMATH DE number 2099386
- Knowledge-based proof planning
- TABLEAUX: A general theorem prover for modal logics
- Formally verified tableau-based reasoners for a description logic
- A propositional tableaux based proof calculus for reasoning with default rules
- scientific article; zbMATH DE number 2090533
- Prefixed tableau systems for logic of proofs and provability
Cites Work
- Manifolds, tensor analysis, and applications.
- Title not available (Why is that?)
- SETHEO: A high-performance theorem prover
- Gazing: An approach to the problem of definition and lemma use
- Title not available (Why is that?)
- Fast Decision Procedures Based on Congruence Closure
- The liberalized \(\delta\)-rule in free variable semantic tableaux
- Title not available (Why is that?)
- Towards the automation of set theory and its logic
- A completion-based method for mixed universal and rigid \(E\)-unification
- Hyper tableaux
- Controlled integration of the cut rule into connection tableau calculi
- An algorithm for reasoning about equality
- Title not available (Why is that?)
- Title not available (Why is that?)
- A-ordered tableaux
- A beginner's further guide to mathematical logic
Cited In (1)
Uses Software
This page was built for publication: A framework for using knowledge in tableau proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4610337)
