4 found
Order:
  1.  19
    Complete Axiomatizations for Reasoning About Knowledge and Branching Time.Ron van der Meyden & Ka-shu Wong - 2003 - 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 (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  2.  4
    Complete Axiomatizations for Reasoning About Knowledge and Branching Time.Ron van der Meyden & Ka-shu Wong - 2003 - 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 $\text{CTL}^{\ast}$, interpreted with respect to (...)
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  3.  2
    Selected and Revised Papers From the Ninth International Conference on Deontic Logic in Computer Science.Ron van der Meyden & Leon van der Torre - 2011 - Journal of Applied Logic 9 (2):81-82.
  4. Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers.Kai Engelhardt, Ron van der Meyden & Kaile Su - 2003 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 9-30.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography