Free variable tableaux for propositional modal logics
From MaRDI portal
Publication:4610317
DOI10.1007/BFb0027407zbMath1415.03018OpenAlexW1481660686MaRDI QIDQ4610317
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/bfb0027407
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)
Related Items (2)
IeanCOP: lean connection-based theorem proving ⋮ Tableaux methods for access control in distributed systems
Uses Software
Cites Work
- Proof methods for modal and intuitionistic logics
- SETHEO: A high-performance theorem prover
- Grafting modalities onto substructural implication systems
- lean\(T^ AP\): Lean tableau-based deduction
- Efficient loop-check for backward proof search in some non-classical propositional logics
- The tableau-based theorem prover 3 T A P Version 4.0
- Strongly analytic tableaux for normal modal logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Free variable tableaux for propositional modal logics