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

G. A. Kavvos Daniel Gratzer

Published in: Bull. Symb. Log. (2023)

Keyphrases

modal logic
intuitionistic logic
sequent calculus
cut elimination
multimedia
logic programming
inference rules
classical logic
proof search
multi modal
model checker
multimodal interaction