/ / / /

Publications

Institute for Logic, Language and Computation

MoL-2019-01:: Kyah Elisabeth Mercedes Smaal Strategic manipulation in voting under higher-order reasoning
1.Full Text, 2.Abstract.
PP-2019-01:: Johan van Benthem Vistas from a Drop of Water
1.Full Text, 2.Abstract.
PP-2019-02:: Alexandru Baltag, Johan van Benthem Some Thoughts on the Logic of Imprecise Observation
1.Full Text, 2.Abstract.
PP-2019-03:: Johan van Benthem, Fenrong Liu Graph Games and Logic Design
1.Full Text, 2.Abstract.
PP-2019-04:: Johan van Benthem, Dominik Klein Logics for Analyzing Games
1.Full Text, 2.Abstract.
PP-2019-05:: Robert Passmann The de Jongh property for bounded constructive Zermelo-Fraenkel set theory
1.Full Text, 2.Abstract.
PP-2019-06:: V. Yu. Shavrukov R.e. prime powers and total rigidity
1.Full Text, 2.Abstract.
PP-2019-07:: Johan van Benthem, Dag Westerstähl Generalized Quantifiers Meet Modal Neighborhood Semantics
1.Full Text, 2.Abstract.
PP-2019-08:: Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González The McKinsey-Tarski Theorem for Topological Evidence Logics
1.Full Text, 2.Abstract.
PP-2019-09:: Nick Bezhanishvili, Jim de Groot, Yde Venema Coalgebraic geometric logic
1.Full Text, 2.Abstract.
PP-2019-10:: Lorenzo Galeotti Surreal Blum-Shub-Smale Machines
1.Full Text, 2.Abstract.
X-2019-01:: Dazhu Li Losing Connection: the Modal Logic of Definable Link Deletion
1.Abstract, 2.full text.