BibTeX
@MISC{〈s_qp,
author = {K 〈s and K 〈s and L S→ Atom},
title = {Q P Modal Formula},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
S: set of states (may be infinite) R: transition relation between states R ⊆ S×S propositional symbols L: map from states to sets of prop. symbols L(s) denotes the set of prop. symbols that hold at state s∈SKripke Structure • K = 〈S, R, L〉 • G = 〈S, R〉
