Kripke’s Worlds An Introduction to Modal Logics via Tableaux / by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber.

by Gasquet, Olivier., Gasquet, Olivier., Herzig, Andreas., Said, Bilal., Schwarzentruber, François.
Published 2014