Preservation theorems for Kripke models.

Morteza Moniri Mostafa Zaare

Published in: Math. Log. Q. (2009)

Keyphrases

kripke models
modal logic
digital topology
multi agent
temporal logic
digital objects
decision procedures
action theories