An application of many-valued logic to decide propositional S5 formulae: a strategy designed for a parameterized tableaux-based Theorem Prover

This publication has 3 references indexed in Scilit:

• Towards efficient "knowledge-based" automated theorem proving for non-standard logics
  Published by Springer Nature ,2005
• Systematization of finite many-valued logics through the method of tableaux
  The Journal of Symbolic Logic, 1987
• A tableau system for propositional S5.
  Notre Dame Journal of Formal Logic, 1977