000 03361nam a22005055i 4500
001 978-1-4020-8590-1
003 DE-He213
005 20161121230833.0
007 cr nn 008mamaa
008 100301s2008 ne | s |||| 0|eng d
020 _a9781402085901
_9978-1-4020-8590-1
024 7 _a10.1007/978-1-4020-8590-1
_2doi
050 4 _aBC1-199
072 7 _aHPL
_2bicssc
072 7 _aPHI011000
_2bisacsh
082 0 4 _a160
_223
100 1 _aCarnielli, Walter.
_eauthor.
245 1 0 _aModalities and Multimodalities
_h[electronic resource] :
_bWith the assistance and collaboration of Juliana Bueno-Soler /
_cby Walter Carnielli, Claudio Pizzi.
264 1 _aDordrecht :
_bSpringer Netherlands,
_c2008.
300 _aXIV, 304 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLogic, Epistemology, and the Unity of Science ;
_v12
505 0 _aModal 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 _aIn 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 _aPhilosophy.
650 0 _aLogic.
650 0 _aMathematical logic.
650 1 4 _aPhilosophy.
650 2 4 _aLogic.
650 2 4 _aMathematical Logic and Foundations.
650 2 4 _aPhilosophy, general.
650 2 4 _aHistory of Philosophy.
650 2 4 _aMathematical Logic and Formal Languages.
700 1 _aPizzi, Claudio.
_eauthor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781402085895
830 0 _aLogic, Epistemology, and the Unity of Science ;
_v12
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-4020-8590-1
912 _aZDB-2-SHU
950 _aHumanities, Social Sciences and Law (Springer-11648)
999 _c504683
_d504683