Two-dimensional Kripke Semantics I: Presheaves.

Published in: CoRR (2024)

Keyphrases

three dimensional
desirable properties
formal semantics
data sets
kripke models
multi dimensional
semantic information
model checking
modal logic
case study
inference rules
information systems
nonmonotonic logics
argumentation semantics
logic programming
proof theory
real time