def test_semantic_diamond_p_three_worlds_false():
worlds = [
World('1', {'p': False}),
World('2', {'p': True}),
World('3', {'p': False}),
]
relations = {('1', '2'), ('1', '3')}
ks = KripkeStructure(worlds, relations)
mpl = Diamond(Atom('p'))
assert True == mpl.semantic(ks, '1')
def test_semantic_diamond_p_one_world_true():
worlds = [World('1', {'p': True})]
relations = {}
ks = KripkeStructure(worlds, relations)
mpl = Diamond(Atom('p'))
assert False == mpl.semantic(ks, '1')
def test_semantic_diamond_p_one_world_reflex_edge_false():
worlds = [World('1', {'p': False})]
relations = {('1', '1')}
ks = KripkeStructure(worlds, relations)
mpl = Diamond(Atom('p'))
assert False == mpl.semantic(ks, '1')