TY - BOOK ID - 217309 TI - Modalities and multimodalities AU - Carnielli, Walter A. AU - Bueno-Soler, Juliana. AU - Pizzi, Claudio PY - 2008 SN - 1402085907 1402085893 9048137624 PB - [Dordrecht] : Springer, DB - UniCat KW - Modality (Logic) KW - Semantics (Philosophy) KW - Intension (Philosophy) KW - Logical semantics KW - Semantics (Logic) KW - Semeiotics KW - Significs KW - Syntactics KW - Unified science KW - Language and languages KW - Logic, Symbolic and mathematical KW - Logical positivism KW - Meaning (Psychology) KW - Philosophy, Modern KW - Semiotics KW - Signs and symbols KW - Symbolism KW - Analysis (Philosophy) KW - Definition (Philosophy) KW - Modal logic KW - Logic KW - Nonclassical mathematical logic KW - Bisimulation KW - Logic. KW - Logic, Symbolic and mathematical. KW - Philosophy (General). KW - Computer science. KW - Mathematical Logic and Foundations. KW - Philosophy, general. KW - History of Philosophy. KW - Mathematical Logic and Formal Languages. KW - Informatics KW - Science KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Argumentation KW - Deduction (Logic) KW - Deductive logic KW - Dialectic (Logic) KW - Logic, Deductive KW - Intellect KW - Philosophy KW - Psychology KW - Reasoning KW - Thought and thinking KW - Methodology KW - Mathematical logic. KW - Philosophy. KW - Mental philosophy KW - Humanities KW - Machine theory. KW - Formal Languages and Automata Theory. KW - History. KW - Abstract automata KW - Abstract machines KW - Automata KW - Mathematical machine theory KW - Algorithms KW - Recursive functions KW - Robotics UR - https://www.unicat.be/uniCat?func=search&query=sysid:217309 AB - 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. ER -