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