Validity in Contexts - A Semantics for Indicatives and Epistemic Modals.

Published in: WoLLIC (2024)

Keyphrases

epistemic logic
logic program updates
formal semantics
modal operators
semantic information
propositional dynamic logic
real time
neural network
genetic algorithm
natural language
data model
domain knowledge
logic programming
inference rules
operational semantics
model theoretic