The rewriting logic semantics project: A progress report.
José MeseguerGrigore RosuPublished in: Inf. Comput. (2013)
Keyphrases
- logic programming
- proof theory
- nonmonotonic logics
- sound and complete with respect
- logical framework
- sound and complete axiomatization
- epistemic logic
- propositional dynamic logic
- active rules
- proof theoretic
- modal logic
- computational properties
- model theoretic
- modal operators
- dynamic logic
- operational semantics
- predicate calculus
- derivation rules
- software development
- autoepistemic logic
- logic programs
- classical logic
- multi valued
- formal language
- description logics
- semantic information
- project management
- proof procedures
- alternating time temporal logic
- intuitionistic logic
- logical formulas
- algebraic structure
- default theories
- linear logic
- deontic logic
- rewrite rules