Propositional Linear Temporal Logic with Initial Validity Semantics1.
Mariusz GieroPublished in: Formaliz. Math. (2015)
Keyphrases
- linear temporal logic
- temporal logic
- disjunctive logic programming
- bounded model checking
- model checking
- sound and complete axiomatization
- formal semantics
- autoepistemic logic
- epistemic states
- logic programming
- default logic
- first order logic
- propositional logic
- software engineering
- domain independent
- model theoretic