The Positivication of Coalgebraic Logics.

Fredrik Dahlqvist Alexander Kurz

Published in: CALCO (2017)

Keyphrases

expressive power
modal logic
propositional calculus
proof theory
classical logic
inference rules
coalition logic
programming language
data sets
information technology
multi agent systems
computational properties
decision procedures
epistemic logic
knowledge base
social networks
propositional dynamic logic