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