The Poset of All Logics III: Finitely Presentable Logics.

Ramon Jansana Tommaso Moraschini

Published in: Stud Logica (2021)

Keyphrases

expressive power
modal logic
inference rules
classical logic
database
neural network
machine learning
case study
partially ordered
nonmonotonic logics
proof theory
intuitionistic logic
propositional dynamic logic