A Semantics for a Failed Axiomatization of K.

Hitoshi Omori Daniel Skurt

Published in: AiML (2020)

Keyphrases

complete axiomatization
formal semantics
semantic information
databases
logic programming
situation calculus
default reasoning
general theory
image sequences
programming language
high level
graphical representation
decision trees
specification language
logical framework
argumentation semantics
real time