• Published

  Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge

  Publication: Research - peer-review › Journal article – Annual report year: 2013

• Published

  Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge

  Publication: Research - peer-review › Article in proceedings – Annual report year: 2013

• Published

  Strategic games and truly playable effectivity functions

  Publication: Research - peer-review › Journal article – Annual report year: 2013

View all »

• Electronic Notes in Theoretical Computer Science

  ISSNs: 1571-0661

  Elsevier BV, Netherlands

  FI (2012): 1, ISI indexed (2012): no

  Central database

  Journal

• Interest Group in Pure and Applied Logics. Logic Journal

  ISSNs: 1367-0751

  Oxford University Press Oxford University Press, United Kingdom

  FI (2012): 2, ISI indexed (2012): yes

  Central database

  Journal

• Journal of Applied Non-Classical Logics

  ISSNs: 1166-3081

  Lavoisier, France

  FI (2012): 1, ISI indexed (2012): no

  Central database

  Journal

View all »

• Logical and Computational Aspects of Infinite Games

  Project: PhD

• Springer, 0-387

  Central database

  Publisher

• RWTH Aachen University

  Local database

  Publisher

• IEEE Computer Society Press, 0-7695

  Central database

  Publisher