Basic Logic: Reflection, Symmetry, Visibility.

Giovanni Sambin Giulia Battilotti Claudia Faggian

Published in: J. Symb. Log. (2000)

Keyphrases

modal logic
multi valued
proof theory
real time
automated reasoning
data sets
databases
case study
logic programming
probability theory
logical framework
defeasible logic
formal theory
deontic logic