Tell your friends about this item:
Kripke’s Worlds: An Introduction to Modal Logics via Tableaux - Studies in Universal Logic Olivier Gasquet 2012 edition
Price
$ 91.49
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jun 30 - Jul 6
Our customers say:
Add to your iMusic wish list
Kripke’s Worlds: An Introduction to Modal Logics via Tableaux - Studies in Universal Logic
Olivier Gasquet
Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several paraconsistent and relevant logics).
216 pages, black & white illustrations
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | December 9, 2013 |
| ISBN13 | 9783764385033 |
| Publishers | Springer Basel |
| Pages | 198 |
| Dimensions | 242 × 169 × 11 mm · 370 g |
| Language | French |
![Cover for Treatment of Cystic Fibrosis and Other Rare Lung Diseases - Milestones in Drug Therapy (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/757/9783034809757.jpg?2017-treatment-of-cystic-fibrosis-and-other-rare-lung-diseases-milestones-in-drug-therapy-hardcover-book&class=scaled&v=1483442574)
![Cover for Fish Vaccines - Birkhauser Advances in Infectious Diseases (Hardcover Book) [2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/788/9783034809788.jpg?2016-fish-vaccines-birkhauser-advances-in-infectious-diseases-hardcover-book&class=scaled&v=1603958298)
![Cover for Circulating microRNAs in Disease Diagnostics and their Potential Biological Relevance - Experientia Supplementum (Hardcover Book) [1st ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/535/9783034809535.jpg?2015-circulating-micrornas-in-disease-diagnostics-and-their-potential-biological-relevance-experientia-supplementum-hardcover-book&class=scaled&v=1583364641)
![Cover for Lutz Dumbgen · Einfuhrung in Die Statistik - Mathematik Kompakt (Paperback Book) [1. Aufl. 2016 edition] (2015)](https://imusic.b-cdn.net/images/item/original/037/9783034800037.jpg?lutz-dumbgen-2015-einfuhrung-in-die-statistik-mathematik-kompakt-paperback-book&class=scaled&v=1507893293)
![Cover for Anton G. Kutikhin · Genomics of Pattern Recognition Receptors: Applications in Oncology and Cardiovascular Diseases (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2015)](https://imusic.b-cdn.net/images/item/original/944/9783034807944.jpg?anton-g-kutikhin-2015-genomics-of-pattern-recognition-receptors-applications-in-oncology-and-cardiovascular-diseases-paperback-book&class=scaled&v=1604039186)
![Cover for Operator Theory (Hardcover Book) [1st ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/664/9783034806664.jpg?2015-operator-theory-hardcover-book&class=scaled&v=1607184543)
![Cover for K D Rainsford · Novel Natural Products: Therapeutic Effects in Pain, Arthritis and Gastro-intestinal Diseases - Progress in Drug Research (Hardcover Book) [1st ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/269/9783034809269.jpg?k-d-rainsford-2015-novel-natural-products-therapeutic-effects-in-pain-arthritis-and-gastro-intestinal-diseases-progress-in-drug-research-hardcover-book&class=scaled&v=1460488486)
![Cover for Jesus I Diaz · Mathematics and Geosciences: Global and Local Perspectives: Volume I - Pageoph Topical Volumes (Paperback Book) [1st ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/290/9783034809290.jpg?jesus-i-diaz-2015-mathematics-and-geosciences-global-and-local-perspectives-volume-i-pageoph-topical-volumes-paperback-book&class=scaled&v=1485540701)
![Cover for Pavel Drabek · Methods of Nonlinear Analysis: Applications to Differential Equations - Birkhauser Advanced Texts / Basler Lehrbucher (Paperback Book) [2nd ed. 2013 edition] (2015)](https://imusic.b-cdn.net/images/item/original/593/9783034807593.jpg?pavel-drabek-2015-methods-of-nonlinear-analysis-applications-to-differential-equations-birkhauser-advanced-texts-basler-lehrbucher-paperback-book&class=scaled&v=1547596403)
![Cover for Christoph J. Scriba · 5000 Years of Geometry: Mathematics in History and Culture (Hardcover Book) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/972/9783034808972.jpg?christoph-j-scriba-2015-5000-years-of-geometry-mathematics-in-history-and-culture-hardcover-book&class=scaled&v=1435492854)
![Cover for Messoud Efendiev · Evolution Equations Arising in the Modelling of Life Sciences - International Series of Numerical Mathematics (Paperback Book) [2013 edition] (2015)](https://imusic.b-cdn.net/images/item/original/807/9783034807807.jpg?messoud-efendiev-2015-evolution-equations-arising-in-the-modelling-of-life-sciences-international-series-of-numerical-mathematics-paperback-book&class=scaled&v=1611903277)
![Cover for Yuming Qin · Global Existence and Uniqueness of Nonlinear Evolutionary Fluid Equations - Frontiers in Mathematics (Paperback Book) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/933/9783034805933.jpg?yuming-qin-2015-global-existence-and-uniqueness-of-nonlinear-evolutionary-fluid-equations-frontiers-in-mathematics-paperback-book&class=scaled&v=1473233638)
![Cover for Arie Hinkis · Proofs of the Cantor-Bernstein Theorem: A Mathematical Excursion - Science Networks. Historical Studies (Paperback Book) [2013 edition] (2015)](https://imusic.b-cdn.net/images/item/original/883/9783034807883.jpg?arie-hinkis-2015-proofs-of-the-cantor-bernstein-theorem-a-mathematical-excursion-science-networks-historical-studies-paperback-book&class=scaled&v=1490858968)
![Cover for Pieter S Hiemstra · Antimicrobial Peptides and Innate Immunity - Progress in Inflammation Research (Paperback Book) [2013 edition] (2015)](https://imusic.b-cdn.net/images/item/original/678/9783034807678.jpg?pieter-s-hiemstra-2015-antimicrobial-peptides-and-innate-immunity-progress-in-inflammation-research-paperback-book&class=scaled&v=1509769737)
![Cover for K. D. Rainsford · Ibuprofen: Pharmacology, Therapeutics and Side Effects (Paperback Book) [2012 edition] (2015)](https://imusic.b-cdn.net/images/item/original/760/9783034807760.jpg?k-d-rainsford-2015-ibuprofen-pharmacology-therapeutics-and-side-effects-paperback-book&class=scaled&v=1613838455)
![Cover for Philipp Y. Maximov · Tamoxifen: Pioneering Medicine in Breast Cancer - Milestones in Drug Therapy (Paperback Book) [2013 edition] (2015)](https://imusic.b-cdn.net/images/item/original/838/9783034807838.jpg?philipp-y-maximov-2015-tamoxifen-pioneering-medicine-in-breast-cancer-milestones-in-drug-therapy-paperback-book&class=scaled&v=1517382422)
![Cover for Valerie Quesniaux · IL-17, IL-22 and Their Producing Cells: Role in Inflammation and Autoimmunity - Progress in Inflammation Research (Paperback Book) [2nd ed. 2013 edition] (2015)](https://imusic.b-cdn.net/images/item/original/739/9783034807739.jpg?valerie-quesniaux-2015-il-17-il-22-and-their-producing-cells-role-in-inflammation-and-autoimmunity-progress-in-inflammation-research-paperback-book&class=scaled&v=1604009583)
![Cover for Thodoris Andriopoulos · Who Killed Professor X? (Hardcover Book) [1st ed. 2015 edition] (2014)](https://imusic.b-cdn.net/images/item/original/835/9783034808835.jpg?thodoris-andriopoulos-2014-who-killed-professor-x-hardcover-book&class=scaled&v=1479674687)
![Cover for Newman · 11th International Conference on High-Energy Accelerators: Geneva, Switzerland, July 7–11, 1980 - Experientia Supplementum (Paperback Book) [Softcover reprint of the original 1st ed. 1980 edition] (2014)](https://imusic.b-cdn.net/images/item/original/426/9783034855426.jpg?newman-2014-11th-international-conference-on-high-energy-accelerators-geneva-switzerland-july-7-11-1980-experientia-supplementum-paperback-book&class=scaled&v=1417671494)
![Cover for L. Fejer · Leopold Fejer Gesammelte Arbeiten I (Paperback Book) [Softcover reprint of the original 1st ed. 1970 edition] (2014)](https://imusic.b-cdn.net/images/item/original/035/9783034859035.jpg?l-fejer-2014-leopold-fejer-gesammelte-arbeiten-i-paperback-book&class=scaled&v=1417671492)
![Cover for Boorstin · Die Entdecker: Das Abenteuer Des Menschen, Sich Und Die Welt Zu Erkennen (Paperback Book) [Softcover Reprint of the Original 1st 1985 edition] (2014)](https://imusic.b-cdn.net/images/item/original/514/9783034866514.jpg?boorstin-2014-die-entdecker-das-abenteuer-des-menschen-sich-und-die-welt-zu-erkennen-paperback-book&class=scaled&v=1519945815)
![Cover for Isler O. · Carotenoids (Paperback Book) [Softcover Reprint of the Original 1st 1971 edition] (2014)](https://imusic.b-cdn.net/images/item/original/328/9783034858328.jpg?isler-o-2014-carotenoids-paperback-book&class=scaled&v=1546732237)
![Cover for Gruebler · Proceedings of the Fourth International Symposium on Polarization Phenomena in Nuclear Reactions - Experientia Supplementum (Paperback Book) [Softcover reprint of the original 1st ed. 1976 edition] (2014)](https://imusic.b-cdn.net/images/item/original/075/9783034855075.jpg?gruebler-2014-proceedings-of-the-fourth-international-symposium-on-polarization-phenomena-in-nuclear-reactions-experientia-supplementum-paperback-book&class=scaled&v=1586231529)
![Cover for Gebhard Boeckle · Arithmetic Geometry over Global Function Fields - Advanced Courses in Mathematics - CRM Barcelona (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/521/9783034808521.jpg?gebhard-boeckle-2014-arithmetic-geometry-over-global-function-fields-advanced-courses-in-mathematics-crm-barcelona-paperback-book&class=scaled&v=1600713374)
![Cover for R Koblet · Der Landwirtschaftliche Pflanzenbau: Unter Besonderer Berucksichtigung Der Schweizerischen Verhaltnisse (Paperback Book) [Softcover Reprint of the Original 1st 1965 edition] (2014)](https://imusic.b-cdn.net/images/item/original/195/9783034869195.jpg?r-koblet-2014-der-landwirtschaftliche-pflanzenbau-unter-besonderer-berucksichtigung-der-schweizerischen-verhaltnisse-paperback-book&class=scaled&v=1417671485)
![Cover for Dym · The Gohberg Anniversary Collection: Volume I: The Calgary Conference and Matrix Theory Papers and Volume II: Topics in Analysis and Operator Theory - Operator Theory: Advances and Applications (Paperback Book) [Softcover reprint of the original 1st ed. 1989 edition] (2014)](https://imusic.b-cdn.net/images/item/original/246/9783034899246.jpg?dym-2014-the-gohberg-anniversary-collection-volume-i-the-calgary-conference-and-matrix-theory-papers-and-volume-ii-topics-in-analysis-and-operator-theory-operator-theory-advances-and-applications-paperback-book&class=scaled&v=1496413898)
![Cover for Pierre Cartier · Mathematics in the 21st Century: 6th World Conference, Lahore, March 2013 - Springer Proceedings in Mathematics & Statistics (Hardcover Book) [2015 edition] (2014)](https://imusic.b-cdn.net/images/item/original/583/9783034808583.jpg?pierre-cartier-2014-mathematics-in-the-21st-century-6th-world-conference-lahore-march-2013-springer-proceedings-in-mathematics-statistics-hardcover-book&class=scaled&v=1539188947)