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
_version_ 1780934496726548480
author Gasquet, Olivier
Herzig, Andreas
Said, Bilal
Schwarzentruber, François
author_facet Gasquet, Olivier
Herzig, Andreas
Said, Bilal
Schwarzentruber, François
author_sort Gasquet, Olivier
collection CERN
id cern-1635066
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2014
publisher Springer
record_format invenio
spelling cern-16350662021-04-21T21:30:25Zdoi:10.1007/978-3-7643-8504-0http://cds.cern.ch/record/1635066engGasquet, OlivierHerzig, AndreasSaid, BilalSchwarzentruber, FrançoisKripke’s worlds: an introduction to modal logics via tableauxMathematical Physics and MathematicsSpringeroai:cds.cern.ch:16350662014
spellingShingle Mathematical Physics and Mathematics
Gasquet, Olivier
Herzig, Andreas
Said, Bilal
Schwarzentruber, François
Kripke’s worlds: an introduction to modal logics via tableaux
title Kripke’s worlds: an introduction to modal logics via tableaux
title_full Kripke’s worlds: an introduction to modal logics via tableaux
title_fullStr Kripke’s worlds: an introduction to modal logics via tableaux
title_full_unstemmed Kripke’s worlds: an introduction to modal logics via tableaux
title_short Kripke’s worlds: an introduction to modal logics via tableaux
title_sort kripke’s worlds: an introduction to modal logics via tableaux
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/978-3-7643-8504-0
http://cds.cern.ch/record/1635066
work_keys_str_mv AT gasquetolivier kripkesworldsanintroductiontomodallogicsviatableaux
AT herzigandreas kripkesworldsanintroductiontomodallogicsviatableaux
AT saidbilal kripkesworldsanintroductiontomodallogicsviatableaux
AT schwarzentruberfrancois kripkesworldsanintroductiontomodallogicsviatableaux

Ejemplares similares