Bisimulation games and locally tabular modal logics Valentin Shehtman Institute for Information Transmission Problems, Russian Academy of Sciences National Research University Higher School of Economics, Moscow, Russia M - Russian Academy - Document - PDFSEARCH.IO

First Page	Meta Content
	Bisimulation games and locally tabular modal logics Valentin Shehtman Institute for Information Transmission Problems, Russian Academy of Sciences National Research University Higher School of Economics, Moscow, Russia M Add to Reading List Document Date: 2015-05-19 08:08:06 Open Document File Size: 168,00 KB Share Result on Facebook

Bisimulation games and locally tabular modal logics Valentin Shehtman Institute for Information Transmission Problems, Russian Academy of Sciences National Research University Higher School of Economics, Moscow, Russia MAdd to Reading List