Modal-Epistemic Variants of Shapiro's System of Epistemic Arithmetic.

Published in: Notre Dame J. Formal Log. (1994)

Keyphrases

belief change
epistemic logic
modal logic
modal operators
real time
kripke models
relational databases
logic program updates
data mining
information systems
multi agent
arithmetic operations
independent natural extension