Some operations in Kripke models with an involution.

Adriana Galli Marta Sagastume

Published in: J. Appl. Non Class. Logics (1999)

Keyphrases

state space
kripke models
learning algorithm
multi agent