The positivication of coalgebraic logics.

Fredrik Dahlqvist Alexander Kurz

Published in: CoRR (2018)

Keyphrases

expressive power
modal logic
inference rules
classical logic
real time
genetic algorithm
proof theory
propositional calculus
computer vision
nonmonotonic logics
conditional logic
modal operators