An infinity of super-Belnap logics.

Umberto Rivieccio

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

Keyphrases

modal logic
expressive power
coalition logic
inference rules
logical framework
conditional logic
propositional calculus
relational databases
databases
classical logic
epistemic logic
higher order
temporal logic
expert systems
knowledge representation formalisms
propositional dynamic logic
information retrieval