A Constructor-Based Reachability Logic for Rewrite Theories.
Stephen SkeirikAndrei StefanescuJosé MeseguerPublished in: Fundam. Informaticae (2020)
Keyphrases
- defeasible logic
- modal logic
- probability theory
- modal operators
- closed world assumptions
- sound and complete axiomatization
- logic programming
- automated reasoning
- multi valued
- causal theories
- causal reasoning
- deontic logic
- state space
- logical theories
- logical formulas
- predicate logic
- computational properties
- classical logic
- theoretical framework
- epistemic logic
- rewrite rules
- asynchronous circuits
- proof theory
- formal logic
- argumentation theory
- propositional theories
- domain theory
- database systems