Epistemic Logics of Structured Intensional Groups.

Marta Bílková Igor Sedlár

Published in: TARK (2023)

Keyphrases

epistemic logic
modal logic
expressive power
higher order
structured data
propositional dynamic logic
modal operators
structured learning
nonmonotonic logics
data model
cluster analysis
learning environment
inference rules
website
data mining
real world
databases
database