Related articles 4
Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

Order by:   
Select:   All  None    Download:  

Similar articles
   
Pub. online: 1 Jan 2014      Type: Article     
Journal:  Informatica Volume 25, Issue 4 (2014), pp. 541–550
   Abstract
   
Pub. online: 1 Jan 2008      Type: Research Article     
Journal:  Informatica Volume 19, Issue 4 (2008), pp. 597–616
   Abstract
   
Pub. online: 1 Jan 2006      Type: Research Article     
Journal:  Informatica Volume 17, Issue 1 (2006), pp. 85–94
   Abstract
   
Pub. online: 1 Jan 2004      Type: Research Article     
Journal:  Informatica Volume 15, Issue 3 (2004), pp. 379–398
   Abstract