This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 10th International Conference on Logic, Rationality, and Interaction, LORI 2025, held in Xi’an, China, in October 2025.The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions.The topics addressed in this program effectively showcase the breadth and depth characteristic of the LORI conference series, including contributions on dynamic epistemic logic, non...

Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these temporal operators. Temporal logics have fo...

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational methods and decision procedures for m...

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programmi...

This revised and considerably expanded 2nd edition, published in 2008, brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are exp...

How does human language work? How do we put ideas into words that others can understand? Can linguistics shed light on the way the brain operates? Foundations of Language puts linguistics back at the centre of the search to understand human consciousness. Ray Jackendoff begins by surveying the developments in linguistics over the years since Noam Chomsky's Aspects of the Theory of Syntax. He goes on to propose a radical re-conception of how the brain processes language. T...

Thoroughly revised, updated, expanded, and reorganized to serve as a primary text for mathematics courses, Introduction to Set Theory, Third Edition covers the basics: relations, functions, orderings, finite, countable, and uncountable sets, and cardinal and ordinal numbers. It also provides five additional self-contained chapters, consolidates the material on real numbers into a single updated chapter affording flexibility in course design, supplies end-of-section problems, with hints, of...

Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent philosophers (and mathematicians) up to World War II. This book provides a selective, critical hist...

Syntax – the study of sentence structure – has been at the centre of generative linguistics from its inception and has developed rapidly and in various directions. The Cambridge Handbook of Generative Syntax provides a historical context for what is happening in the field of generative syntax today, a survey of the various generative approaches to syntactic structure available in the literature and an overview of the state of the art in the principal modules of the theory and the interface...

Bayesian ideas have recently been applied across such diverse fields as philosophy, statistics, economics, psychology, artificial intelligence, and legal theory. Fundamentals of Bayesian Epistemology examines epistemologists' use of Bayesian probability mathematics to represent degrees of belief. Michael G. Titelbaum provides an accessible introduction to the key concepts and principles of the Bayesian formalism, enabling the reader both to follow epistemological debates and to se...

An accessible introduction to philosophical logic, suitable for undergraduate courses and above.Rigorous yet accessible, Logical Methods introduces logical tools used in philosophy—including proofs, models, modal logics, meta-theory, two-dimensional logics, and quantification—for philosophy students at the undergraduate level and above. The approach developed by Greg Restall and Shawn Standefer is distinct from other texts because it presents proof constru...

Human language seems to have arisen roughly within the last 50-100,000 years. In evolutionary terms, this is the mere blink of an eye. If this is correct, then much of what we consider distinctive to language must in fact involve operations available in pre-linguistic cognitive domains. In this book Norbert Hornstein, one of the most influential linguists working on syntax, discusses a topical set of issues in syntactic theory, including a number of original proposals at the cutting edge o...