MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Knowledge and the Logic of Local Propositions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Knowledge and the logic of local propositions  
  • by Kai Engelhardt, Ron Van Der Meyden, Yoram Moses, Alexander Yanal — 1998 — In Proceedings of the 1998 Conference on Theoretical Aspects of Reasoning about Knowledge (TARK98
  • …Knowledge and the Logic of Local Propositions Kai Engelhardt Ron van der Meyden Computing Sciences…
  • Cited by 20 (6 self) – Add To MetaCart
  • Knowledge and the Logic of Local Propositions (Extended Abstract)  
  • by Kai Engelhardt, Ron van der Meyden, Yoram Moses, Alexander Yanai — 1998 — In Proceedings of the 1998 Conference on Theoretical Aspects of Reasoning about Knowledge (TARK98
  • …Knowledge and the Logic of Local Propositions (Extended abstract) Kai Engelhardt Ron van der Meyden…
  • Add To MetaCart
  • Model Checking Knowledge and Time  
  • by Wiebe Van Der Hoek, Michael Wooldridge — 2002 — Model Checking Software, Proceedings of SPIN 2002 (LNCS Volume 2318
  • … semantics for knowledge with the logic of local propositions developed by Engelhardt et al. With our…
  • Cited by 34 (7 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB