COMPARING SEMANTICS FOR TEMPORAL STIT LOGIC

Autor:	Ciuni, Roberto, Lorini, Emiliano
Zdroj:	Logique et Analyse, 2018 Jan 01(243), 299-339.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/26767887 Zobrazit plný text záznamu