1 paper · 2 filters
Yuki Nishimura
Hybrid logic extends modal logic with special propositions called nominals, each of which is true at only one state in a model. This enables us to describe some properties of binar…