A Constructor-Based Reachability Logic for Rewrite Theories.

Stephen Skeirik Andrei Stefanescu José Meseguer

Published in: CoRR (2017)

Keyphrases

defeasible logic
state space
causal reasoning
modal logic
probability theory

predicate logic
modal operators
logic programming
propositional theories
classical logic

database systems
automated reasoning
formal logic
logical formulas
proof theory

logical theories
rewrite rules
computational properties
domain theory
dynamic programming