Login / Signup
Dialgebraic Logics.
Horst Reichel
Published in:
CMCS (1998)
Keyphrases
</>
expressive power
modal logic
inference rules
machine learning
temporal logic
classical logic
nonmonotonic logics
epistemic logic
proof theory
feature selection
three dimensional
information technology
conditional logic
propositional dynamic logic