1.  17
    Ron van der Meyden & Ka-shu Wong (2003). Complete Axiomatizations for Reasoning About Knowledge and Branching Time. Studia Logica 75 (1):93 - 123.
    Sound and complete axiomatizations are provided for a number of different logics involving modalities for the knowledge of multiple agents and operators for branching time, extending previous work of Halpern, van der Meyden and Vardi [to appear, SIAM Journal on Computing] for logics of knowledge and linear time. The paper considers the system constraints of synchrony, perfect recall and unique initial states, which give rise to interaction axioms. The language is based on the temporal logic CTL*, interpreted with respect to (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  1
    Ron van der Meyden & Ka-shu Wong (2004). Complete Axiomatizations for Reasoning About Knowledge and Branching Time. Studia Logica 75 (1):93-123.
    Direct download  
     
    Export citation  
     
    My bibliography  
  3. Ron van der Meyden & Leon van der Torre (2011). Selected and Revised Papers From the Ninth International Conference on Deontic Logic in Computer Science. Journal of Applied Logic 9 (2):81-82.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography