Labelled Tableaux for Linear Time Bunched Implication Logic.
Didier GalmicheDaniel MéryPublished in: FSCD (2023)
Keyphrases
- modal logic
- functional dependencies
- automated reasoning
- sequent calculi
- logical implication
- decision procedures
- logic programming
- classical logic
- proof procedure
- theorem proving
- worst case
- neural network
- classical first order logic
- inference rules
- situation calculus
- database design
- logical framework
- proof theory
- dynamic logic
- np hard
- epistemic logic
- knowledge representation
- integrity constraints
- asynchronous circuits
- predicate logic
- conditional logic
- temporal logic
- relational databases
- horn clauses
- multi valued
- artificial intelligence