CCS in nominal logic.

Jesper Bengtson

Published in: Arch. Formal Proofs (2012)

Keyphrases

logic programming
modal logic
defeasible logic
classical logic
sound and complete axiomatization
delay insensitive
multi valued
neural network
horn clauses
proof theory
deontic logic
predicate logic
computational properties
logical framework
probability theory
logic programs
case study
learning algorithm
real world