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. – 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. Towards Mathematical Philosophy 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. M.-M. V.
MAKINSON David, MALINOWSKI Jacek, WANSING Heinrich
pages 1 à 8
GOLDBLATT Robert, HODKINSON Ian
pages 9 à 30
POGGIOLESI Francesca
pages 31 à 52
KOWALSKI Tomasz, MIYAZAKI Yutaka
pages 53 à 66
AGOTNES Thomas, HOEK Wiebe van der, RODRIGUEZ-AGUILAR Juan A., et al.
pages 69 à 105
FITTING Melvin Chris
pages 107 à 123
CZELAKOWSKI Janusz
pages 125 à 164
AVRON Arnon, BEN-NAIM Jonathan, KONIKOWSKA Beata
pages 165 à 186
LEE Jui-Lin
pages 187 à 199
ZIELONSKA Wojciech
pages 201 à 212
MUNDICI Daniele
pages 213 à 232
WAART VAN GULIK Stephan van der
pages 233 à 248
LUKOWSKI Piotr
pages 249 à 268
ROTT Hans
pages 269 à 295
LI Jason Jingshi, KWOK Rex Bing Hung, FOO Norman Y.
pages 297 à 318
WYBRANIEC-SKARDOWSKA Urszula
pages 319 à 342