Pastāsti draugiem par šo preci:
Kripke’s Worlds: An Introduction to Modal Logics via Tableaux - Studies in Universal Logic Olivier Gasquet 2012 edition
Cena
€ 88,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 8. - 16. okt.
Saņemiet paziņojumus par jauniem Olivier Gasquet izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2013. gada 9. decembris |
| ISBN13 | 9783764385033 |
| Izdevēji | Springer Basel |
| Lapas | 198 |
| Izmēri | 242 × 169 × 11 mm · 370 g |
| Valoda | Franču |
![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 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)