Alternating (In)Dependence-Friendly Logic.

Dylan Bellier Massimo Benerecetti Dario Della Monica Fabio Mogavero

Published in: CoRR (2023)

Keyphrases

modal logic
real world
defeasible logic
data sets
classical logic
proof theory
logic programming
information systems
multi valued
nonmonotonic logics
predicate logic
friendly interface
multiscale
deontic logic
search engine
delay insensitive
linear temporal logic