Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK.
Erica CalardoPublished in: Log. J. IGPL (2006)
Keyphrases
- inference rules
- linear logic
- sequent calculus
- logical framework
- probabilistic knowledge
- proof search
- cut elimination
- first order logic
- knowledge base
- knowledge representation
- fixed point
- natural deduction
- modal logic
- theorem prover
- theorem proving
- horn clauses
- logic programming
- graphical models
- desirable properties
- conditional probabilities
- programming language
- general purpose
- probabilistic model