Sign in
An Incompleteness Theorem for Modal Relevant Logics.
Shawn Standefer
Published in:
Notre Dame J. Formal Log. (2021)
Keyphrases
</>
modal logic
nonmonotonic logics
database
expressive power
incomplete information
intuitionistic logic
neural network
higher level
conditional logic
epistemic logic
propositional calculus
learning algorithm
missing values
fixed point
inference rules
digital topology