A Logic of Interactive Proofs.

David Lehnherr Zoran Ognjanovic Thomas Studer

Published in: LFCS (2022)

Keyphrases

natural deduction
cut elimination
computer graphics
virtual reality
modal logic
information systems
user interaction
user friendly
data visualization
graphical interface
formal proofs
search engine
proof theory
deontic logic
predicate logic
computer programs
learning environment
knowledge base
social networks