Epistemic Roles of Diagrams in Short Proofs.

Henrik Kragh Sørensen Mikkel Willum Johansen

Published in: Diagrams (2022)

Keyphrases

theorem proving
belief change
data sets
graphical representations
formal proof
database
real time
information systems
case study
epistemic logic
equational theories