Basic Logic, K4, and Persistence.

Published in: Stud Logica (1999)

Keyphrases

logic programming
modal logic
classical logic
multi valued
computational properties
predicate logic
logic synthesis
artificial intelligence
information systems
decision trees
case study
similarity measure
multiscale
automated reasoning
asynchronous circuits
deductive reasoning