Finite Time Semantics for Executable Logic Specifications.
Miguel FelderPierluigi San PietroPublished in: NATO ASI RTC (1992)
Keyphrases
- attribute grammars
- formal specification
- control flow
- process algebra
- operational semantics
- formal language
- asynchronous circuits
- logic programming
- proof theory
- delay insensitive
- specification language
- nonmonotonic logics
- epistemic logic
- sound and complete axiomatization
- sound and complete with respect
- model checking
- propositional dynamic logic
- formal semantics
- linear temporal logic
- model theoretic
- proof theoretic
- transition systems
- conditional logic
- bounded model checking
- modal operators
- logical formulas
- active rules
- predicate calculus
- logical framework
- data flow
- multi valued
- classical logic
- derivation rules
- recursive programs
- alternating time temporal logic
- valued logic
- highly expressive
- dynamic logic
- model checker
- predicate logic
- computational properties
- logical equivalence
- rewrite systems
- intuitionistic logic
- data model
- logic programs
- context free grammars
- defeasible logic
- autoepistemic logic
- complete axiomatization
- temporal logic
- logical rules
- fixed point semantics
- high level