Kripke's Worlds An Introduction to Modal Logics via Tableaux /

by Gasquet, Olivier, Herzig, Andreas, Said, Bilal, Schwarzentruber, François
Published in Springer eBooks (2014)