LEADER 03743nam a22005895i 4500
001 811451
003 TR_AnAIT
005 20260131010002
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
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aBC1-199
072 7|aHPL|2bicssc
072 7|aPHI011000|2bisacsh
072 7|aQDTL|2thema
082 04|a160|223
090 |aDK/12712
100 1 |aCarnielli, Walter.|eauthor.|4aut|4http://id.loc.gov/vocabulary/relators/aut
245 10|aModalities and Multimodalities|h[electronic resource] /|cby Walter Carnielli, Claudio Pizzi.
250 |a1st ed. 2008.
264 1|aDordrecht :|bSpringer Netherlands :|bImprint: Springer,|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,|x2214-9783 ;|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|aLogic.
650 0|aMathematical logic.
650 0|aPhilosophy.
650 0|aPhilosophy|xHistory.
650 0|aMachine theory.
650 14|aLogic.
650 24|aMathematical Logic and Foundations.
650 24|aPhilosophy.
650 24|aHistory of Philosophy.
650 24|aFormal Languages and Automata Theory.
700 1 |aPizzi, Claudio.|eauthor.|4aut|4http://id.loc.gov/vocabulary/relators/aut
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9781402085895
776 08|iPrinted edition:|z9789048120604
776 08|iPrinted edition:|z9789048137626
776 08|iPrinted edition:|z9789048179244
830 0|aLogic, Epistemology, and the Unity of Science,|x2214-9783 ;|v12
856 40|uhttps://doi.org/10.1007/978-1-4020-8590-1
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)