HERMES-Catalog

Back to Results List

Modalities and Multimodalities / by Walter Carnielli, Claudio Pizzi
(Logic, Epistemology, and the Unity of Science. ISSN:22149783 ; 12)

Publisher	(Dordrecht : Springer Netherlands : Imprint: Springer)
Year	2008
Edition	1st ed. 2008.
Authors	*Carnielli, Walter author Pizzi, Claudio author SpringerLink (Online service)

Hide book details.

Links to the text	Location	Volume	Call No.	Barcode No.	Status	Comments	ISBN	Printed	Restriction	Reserve
Links to the text	Library Off-campus access			OB00167534		Springer Humanities, Social Sciences and Law eBooks (電子ブック)	9781402085901

Hide details.

Material Type	E-Book
Media type	機械可読データファイル
Size	XIV, 304 p : online resource
Notes	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 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 HTTP:URL=https://doi.org/10.1007/978-1-4020-8590-1
Subjects	LCSH:Logic LCSH:Mathematical logic LCSH:Philosophy LCSH:Philosophy—History LCSH:Machine theory FREE:Logic FREE:Mathematical Logic and Foundations FREE:Philosophy FREE:History of Philosophy FREE:Formal Languages and Automata Theory
Classification	LCC:BC1-199 DC23:160
ID	8000064038
ISBN	9781402085901