Finite Model Building for Propositional Gödel-Logics as an Example for Projective Logics.

Markus Moschner

Published in: ARW (2000)

Keyphrases

valued logic
expressive power
modal logic
propositional logic
coalition logic
propositional calculus
first order logic
default logic
classical logic
multi valued
proof theory
multi agent systems
propositional variables
neural network
nonmonotonic logics
default reasoning
inference rules
linearly ordered
data model