C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence.
Ming Xu
Published in:
Stud Logica (2021)
Keyphrases
</>
expressive power
guarded fragment
databases
neural network
modal logic
finite number
transitive closure
data sets
multi agent
inference rules
nonmonotonic logics
finite automata
epistemic logic
proof theory
logical equivalence