This document is unfortunately not available for download at the moment.
David Makinson
Jacek Malinowski
Heinrich Wansing
<p>This volume contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems, some of which come from logic itself, others from other sciences. Its range of subjects is far from complete, but broadly representative.</p><p>The first group of papers in this volume consists of contributions to pure and applied modal logic. The problems discussed here range from the structure of lattices of normal and other modal propositional logics to modal proof theory and to the semantics of quantified modal logic. The second group of papers deals with Many-valued logics - an extensive domain of strictly logical investigations rooting in philosophical questions concerning the nature of logical values. Logical investigations in cognitive science have successfully utilized methods and systems of belief revision, non-monotonic logic and dynamic epistemic logic. <em>Towards Mathematical Philosophy</em> deals with focal issues of belief revision. The volume concludes with contributions which may be seen to belong to the field of formal epistemology, the area applying logical, probabilistic, game-theoretic and other formal methods to problems and issues in epistemology and philosophy of science, such as those concerning anti-realism, skepticism, theory comparison and theory choice, justification, sources of knowledge and learning theories.</p>
Makinson David; Malinowski Jacek; Wansing Heinrich
Goldblatt Robert; Hodkinson Ian
Poggiolesi Francesca
Kowalski Tomasz; Miyazaki Yutaka
Ågotnes Thomas; van der Hoek Wiebe; Rodríguez-Aguilar Juan A.; Sierra Carles; Wooldridge Michael
Fitting Melvin
Czelakowski Janusz
Avron Arnon; Ben-Naim Jonathan; Konikowska Beata
Zielonka Wojciech
van der Waart van Gulik Stephan
Łukowski Piotr
Rott Hans
Jingshi Li Jason; Hung Kwok Rex Bing; Foo Norman Y.
Wybraniec-Skardowska Urszula
This document is unfortunately not available for download at the moment.