From logic to mathematical philosophy

David Makinson, Jacek Malinowski, Heinrich Wansing

1-7

Commutativity of quantifiers in varying-domain Kripke models

Robert Goldblatt, Ian Hodkinson

9-30

The method of tree-hypersequents for modal propositional logic

Francesca Poggiolesi

31-51

All splitting logics in the lattice next (KTB)

Tomasz Kowalski, Yutaka Miyazaki

53-67

A temporal logic of normative systems

Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge

69-106

Reasoning with justifications

Melvin Fitting

107-123

Monotone relations, fixed points and recursive definitions

Janusz Czelakowski

125-164

Processing information from a set of sources

Arnon Avron, Jonathan Ben-Naim, Beata Konikowska

165-186

The classical model existence theorem in subclassical predicate logics I

Jui-Lin Lee

187-199

Weak implicational logics related to the Lambek calculus

Gentzen versus Hilbert formalisms

Wojciech Zielonka

201-212

Faithful and invariant conditional probability in Łukasiewicz logic

Daniele Mundici

213-232

A fuzzy logic approach to non-scalar hedges

Stephan van der Waart van Gulik

233-248

The procedures for belief revision

Piotr Łukowski

249-268

Shifting priorities

simple representations for twenty-seven iterated theory change operators

Hans Rott

269-296

The coherence of theories—dependencies and weights

Jason Jingshi Li, Rex B. Hung Kwok, Norman Y. Foo

297-318

On meta-knowledge and truth

Urszula Wybraniec-Skardowska

319-343