Logic Beyond Formulas: A Proof System on Graphs.
Matteo AcclavioRoss HorneLutz StraßburgerPublished in: LICS (2020)
Keyphrases
- linear time temporal logic
- modal logic
- logical formulas
- intuitionistic logic
- modal operators
- cut elimination
- sequent calculus
- model checking
- natural deduction
- temporal logic
- predicate calculus
- classical logic
- predicate logic
- logic programming
- graph matching
- inference rules
- graph mining
- automated reasoning
- horn clauses
- linear temporal logic
- nonmonotonic logics
- graph model
- linear logic
- knowledge base
- graph representation
- graph theory
- model checker
- multi valued
- theorem proving
- relational structures
- bipartite graph
- proof search
- graph databases
- constraint satisfaction problems
- graph theoretic