Login / Signup
Decidable first-order transition logics for PA-processes.
Denis Lugiez
Philippe Schnoebelen
Published in:
Inf. Comput. (2005)
Keyphrases
</>
first order logic
expressive power
conditional logic
higher order
inference rules
classical first order logic
valued logic
knowledge representation
integrity constraints
modal logic
transition model