Under Lock and Key: A Proof System for a Multimodal Logic.

G. A. Kavvos Daniel Gratzer

Published in: CoRR (2022)

Keyphrases

modal logic
intuitionistic logic
multi modal
classical logic
neural network
temporal logic
epistemic logic
knowledge base
data model
description logics
logic programming
automated reasoning
multimodal interaction
proof theory
sequent calculus