Items where Author is "Švarný, Petr"
Group by: Item Type | No Grouping Number of items: 3. Švarný, Petr (2016) A Copernican turn in temporal logics. [Preprint] Švarný, Petr (2013) Flow of Time in BST/BCONT Models and Related Semantical Observations. The Logica Yearbook 2012. pp. 199-218. Švarný, Petr (2012) Wally axiomatics of Branching Continuations. [Preprint] |