Rabern's Semantics for Metaphysical and Epistemic Modalities and the Nesting Problem.

Published in: J. Philos. Log. (2020)

Keyphrases

epistemic logic
logic program updates
modal operators
reasoning tasks
formal semantics
modal logic
logic programming
propositional dynamic logic
semantic information
description logics
information systems
conceptual model
database
transformation rules
nonmonotonic logics
logical language
kripke models
data sets