Cargando…
Modalities and Multimodalities
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, would ?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumul...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2008.
|
| Edición: | 1st ed. 2008. |
| Colección: | Logic, Epistemology, and the Unity of Science,
12 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-1-4020-8590-1 | ||
| 003 | DE-He213 | ||
| 005 | 20230810154420.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2008 ne | s |||| 0|eng d | ||
| 020 | |a 9781402085901 |9 978-1-4020-8590-1 | ||
| 024 | 7 | |a 10.1007/978-1-4020-8590-1 |2 doi | |
| 050 | 4 | |a BC1-199 | |
| 072 | 7 | |a HPL |2 bicssc | |
| 072 | 7 | |a PHI011000 |2 bisacsh | |
| 072 | 7 | |a QDTL |2 thema | |
| 082 | 0 | 4 | |a 160 |2 23 |
| 100 | 1 | |a Carnielli, Walter. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 245 | 1 | 0 | |a Modalities and Multimodalities |h [electronic resource] / |c by Walter Carnielli, Claudio Pizzi. |
| 250 | |a 1st ed. 2008. | ||
| 264 | 1 | |a Dordrecht : |b Springer Netherlands : |b Imprint: Springer, |c 2008. | |
| 300 | |a XIV, 304 p. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Logic, Epistemology, and the Unity of Science, |x 2214-9783 ; |v 12 | |
| 505 | 0 | |a Modal logic and standard logic -- The syntax of normal modal systems -- The semantics of normal modal systems -- Completeness and canonicity -- Incompleteness and finite models -- Temporal logics -- Epistemic logic: knowledge and belief -- Multimodal logics -- Towards quantified modal logic. | |
| 520 | |a In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, would ?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could have foreseen that in a short time modal logic would become a lively source of ideas and methods for analytical philosophers,historians of philosophy,linguists, epistemologists and computer scientists. The aim which oriented the composition of this book was not to write a new manual of modal logic (there are a lot of excellent textbooks on the market, and the expert reader will realize how much we bene?ted from manyofthem)buttoo?ertoeveryreader,evenwithnospeci?cbackground in logic, a conceptually linear path in the labyrinth of the current panorama of modal logic. The notion which in our opinion looked suitable to work as a compass in this enterprise was the notion of multimodality, or, more speci?cally, the basic idea of grounding systems on languages admitting more than one primitive modal operator. | ||
| 650 | 0 | |a Logic. | |
| 650 | 0 | |a Mathematical logic. | |
| 650 | 0 | |a Philosophy. | |
| 650 | 0 | |a Philosophy |x History. | |
| 650 | 0 | |a Machine theory. | |
| 650 | 1 | 4 | |a Logic. |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |
| 650 | 2 | 4 | |a Philosophy. |
| 650 | 2 | 4 | |a History of Philosophy. |
| 650 | 2 | 4 | |a Formal Languages and Automata Theory. |
| 700 | 1 | |a Pizzi, Claudio. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9789048120604 |
| 776 | 0 | 8 | |i Printed edition: |z 9789048137626 |
| 776 | 0 | 8 | |i Printed edition: |z 9781402085895 |
| 776 | 0 | 8 | |i Printed edition: |z 9789048179244 |
| 830 | 0 | |a Logic, Epistemology, and the Unity of Science, |x 2214-9783 ; |v 12 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-1-4020-8590-1 |z Texto Completo |
| 912 | |a ZDB-2-SHU | ||
| 912 | |a ZDB-2-SXPR | ||
| 950 | |a Humanities, Social Sciences and Law (SpringerNature-11648) | ||
| 950 | |a Philosophy and Religion (R0) (SpringerNature-43725) | ||