Quantified Logic of Awareness and Impossible Possible Worlds.

Giacomo Sillari

Published in: Rev. Symb. Log. (2008)

Keyphrases

classical logic
logic programming
modal logic
computational properties
predicate logic
data sets
automated reasoning
proof theory
bayesian networks
logical framework
digital circuits
formal theory
deontic logic
linear temporal logic