Modal Intuitionistic Logics as Dialgebraic Logics.

Jim de Groot Dirk Pattinson

Published in: LICS (2020)

Keyphrases

modal logic
classical logic
nonmonotonic logics
expressive power
inference rules
multi agent
proof theory
propositional dynamic logic
data sets
proof procedures
proof theoretic
linear logic
modal operators
epistemic logic
conditional logic
theorem prover
information systems
databases