Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models.

Gaia Belardinelli Rasmus K. Rendsvig

Published in: J. Log. Comput. (2023)

Keyphrases

semantic models
modal logic
natural language
temporal logic
semantic features
inference rules
latent semantic analysis
spatial relations
model checking
semantic annotation
feature selection
higher level
semi automatic
multiple sources
web sources