A Bisimulation characterization Theorem for Hybrid Logic with the current-State Binder.

Ian M. Hodkinson Hicham Tahiri

Published in: Rev. Symb. Log. (2010)

Keyphrases

state space
classical logic
intuitionistic logic
database
social networks
search space
logic programming
hybrid learning