A Fugue on the Themes of Awareness Logic and Correspondence.

Elias Thijsse Heinrich Wansing

Published in: J. Appl. Non Class. Logics (1996)

Keyphrases

classical logic
multi valued
proof theory
logic programming
point correspondences
modal logic
predicate logic
databases
logical framework
sound and complete axiomatization
dynamic logic
multi agent
computational properties
automated reasoning
truth values
deontic logic
case study
artificial intelligence