Login / Signup
Decidable First-Order Transition Logics for PA-Processes.
Denis Lugiez
Philippe Schnoebelen
Published in:
ICALP (2000)
Keyphrases
</>
first order logic
expressive power
conditional logic
classical first order logic
higher order
inference rules
modal logic
transitive closure
data sets
relational databases
computational properties
process model
propositional logic
action theories
function free horn