Kripke’s worlds: an introduction to modal logics via tableaux

Detalles Bibliográficos
Autores principales: Gasquet, Olivier, Herzig, Andreas, Said, Bilal, Schwarzentruber, François
Lenguaje:eng
Publicado: Springer 2014
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/978-3-7643-8504-0
http://cds.cern.ch/record/1635066
Descripción
Descripción no disponible.

Ejemplares similares