Saturated Kripke Structures as Vietoris Coalgebras.

H. Peter Gumm Mona Taheri

Published in: CMCS (2022)

Keyphrases

desirable properties
decision making
special case
temporal logic
inference rules
computer vision
modal logic
search engine
three dimensional