Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.
Davide BresolinAngelo MontanariPietro SalaGuido SciaviccoPublished in: JELIA (2008)
Keyphrases
- modal logic
- proof procedure
- classical first order logic
- multi valued
- automated reasoning
- sound and complete axiomatization
- closed form
- propositional logic
- optimal linear
- probabilistic logic
- decision procedures
- semi infinite programming
- first order logic
- autoepistemic logic
- predicate calculus
- minimum error
- grassmann manifold
- worst case
- sequent calculi
- temporal logic
- optimal solution
- predicate logic
- integrity constraints
- truth maintenance systems
- general logic programs
- scheduling problem
- dynamic programming