Login / Signup

A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.

Davide BresolinDario Della MonicaAngelo MontanariGuido Sciavicco
Published in: TABLEAUX (2013)
Keyphrases
  • proof procedure
  • multi valued
  • sound and complete axiomatization
  • probabilistic logic
  • modal logic
  • automated theorem proving
  • first order logic
  • propositional logic
  • shift register