Two-dimensional Kripke Semantics II: Stability and Completeness.

Published in: CoRR (2024)

Keyphrases

three dimensional
formal semantics
modal logic
desirable properties
inference rules
temporal logic
artificial intelligence
kripke models
logic programming
semantic information
conceptual model
multi dimensional
model checking
domain knowledge
natural language
database systems
social networks
real time