Search Results

Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as Jaakko Hintikka and David Lewis in the early 1960s. Si

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Conc

Epistemic logic is the branch of philosophical thought that seeks to formalize the discourse about knowledge. Its object is to articulate and clarify the genera

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and

The first volume in this new series explores, through extensive co-operation, new ways of achieving the integration of science in all its diversity. The book of