Login / Signup
Selfextensional Logics with a Conjunction.
Ramon Jansana
Published in:
Stud Logica (2006)
Keyphrases
</>
modal logic
expressive power
inference rules
classical logic
databases
nonmonotonic logics
computational properties
propositional dynamic logic
proof theory
conditional logic
mobile robot
artificial neural networks
video sequences
truth values
epistemic logic
machine learning
real world