A timed rewriting logic semantics for SDL: A case study of alternating bit protocol.
L. J. StegglesPiotr KosiuczenkoPublished in: WRLA (1998)
Keyphrases
- logic programming
- proof theory
- epistemic logic
- sound and complete axiomatization
- nonmonotonic logics
- propositional dynamic logic
- logical framework
- random access memory
- sound and complete with respect
- petri net
- modal logic
- formal language
- alternating time temporal logic
- conditional logic
- colored petri nets
- logic programs
- modal operators
- autoepistemic logic
- dynamic logic
- active rules
- operational semantics
- model theoretic
- computational properties
- derivation rules
- proof theoretic
- predicate logic
- model checker
- case study
- nonmonotonic reasoning
- classical logic
- lightweight
- logical operations
- default reasoning
- formal semantics
- correctness criterion
- predicate calculus
- model checking
- deductive databases
- logical rules
- highly expressive
- abstract argumentation frameworks
- active databases
- proof procedures
- knowledge base
- query rewriting
- kripke models
- algebraic structure