Kripke’s Worlds: An Introduction to Modal Logics via Tableaux

Kripke’s Worlds:An Introduction to Modal Logics via Tableaux

by: Gasquet, Olivier; Herzig, Andreas; Said, Bilal; Schwarzentruber, François

Publisher: Springer ( 2013-11-20 )

ISBN-13: 9783764385033

e-ISBN-13: 9783764385040

ISBN-10: 3764385030

Edition: 1

Language: English