MTV Logics.

Published in: J. Philos. Log. (2022)

Keyphrases

expressive power
modal logic
propositional calculus
conditional logic
inference rules
propositional dynamic logic
data sets
epistemic logic
classical logic
knowledge base
artificial intelligence
default reasoning
video sequences
proof theory
machine learning
database
coalition logic