The Poset of All Logics II: Leibniz Classes and Hierarchy.

Ramon Jansana Tommaso Moraschini

Published in: J. Symb. Log. (2023)

Keyphrases

class hierarchy
expressive power
partial order
modal logic
inference rules
decision trees
high level
multi agent systems
np complete