A Splitting Logic in NExt(KTB).

Yutaka Miyazaki

Published in: Stud Logica (2007)

Keyphrases

classical logic
automated reasoning
logic programming
modal logic
real time
multi valued
logic synthesis
proof theory
asynchronous circuits
predicate logic
probability theory
computational properties
case study
abductive reasoning
deontic logic
e learning
artificial intelligence
databases