Login / Signup
The Krohn-Rhodes Logics.
Alessandro Ronca
Published in:
CoRR (2023)
Keyphrases
</>
expressive power
modal logic
propositional dynamic logic
neural network
inference rules
proof theory
knowledge representation formalisms
classical logic
conditional logic
propositional calculus
computer vision
information technology
logic programming
default reasoning
computational properties
decision procedures