: Selected Publications of Vladimir V. Rybakov 2009: Vladimir Rybakov: Linear Temporal Logic LT KK extended by Multi-Agent Logic Kn with Interacting Agents.- Accepted, Published online in: Journal of Logic and

First Page		Document Content
Date: 2013-01-29 06:42:57		: Selected Publications of Vladimir V. Rybakov 2009: Vladimir Rybakov: Linear Temporal Logic LT KK extended by Multi-Agent Logic Kn with Interacting Agents.- Accepted, Published online in: Journal of Logic and Add to Reading List Source URL: www2.docm.mmu.ac.uk Download Document from Source Website File Size: 71,01 KB Share Document on Facebook