An Adequate Logic for Full LOTOS.

Muffy Calder Savi Maharaj Carron Shankland

Published in: FME (2001)

Keyphrases

logic programming
modal logic
classical logic
sound and complete axiomatization
proof theory
logic programs
multi agent systems
real world
database systems
information systems
artificial intelligence
constraint propagation
default reasoning
logical framework
digital circuits
formal theory
databases
real time