Logic and games 14 marzo 2019 ivano.ciardelli Papers studying logics by means of games. An Ehrenfeucht-Fraïssé game for inquisitive first-order logic Forthcoming — with Gianluca Grilletti Bisimulation in inquisitive modal logic TARK 2017 — with Martin Otto
Logic and games 14 marzo 2019 ivano.ciardelli Papers studying logics by means of games. An Ehrenfeucht-Fraïssé game for inquisitive first-order logic TbILLC 2017 — with Gianluca Grilletti Bisimulation in inquisitive modal logic TARK 2017 — with Martin Otto