Finitary Semantics of Linear Logic and Higher-Order Model-Checking.
Charles GrelloisPaul-André MellièsPublished in: MFCS (1) (2015)
Keyphrases
- computation tree logic
- linear logic
- model checking
- higher order
- epistemic logic
- finite state
- logical framework
- logic programming
- temporal logic
- process algebra
- inference rules
- alternating time temporal logic
- automated verification
- bounded model checking
- model checker
- reasoning tasks
- formal verification
- answer set programming
- formal specification
- symbolic model checking
- fixed point
- pairwise
- cut elimination
- logic programs
- verification method
- sequent calculus
- markov random field
- finite state machines
- concurrent systems
- nonmonotonic reasoning
- desirable properties
- specification language
- proof theory
- partial order
- programming language