Empty Logics.

Federico Matias Pailos

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

Keyphrases

expressive power
modal logic
proof theory
image processing
inference rules
classical logic
propositional dynamic logic
case study
nonmonotonic logics
data sets
artificial intelligence
higher order
temporal logic
intuitionistic logic