Logic and logical philosophy, No. 10. The Third German-Polish Workshop on Logic & Logical Philosophy. Dresden, March 29 - April 1, 2001

Preface
Tadeusz Czarnecki: G. E. Moore on Logical Possibility
Anna Gomolińska: Derivability of Rules from Rule Complexes
Reinhard Kahle: Structured Belief Bases
Piotr Łukowski: A Deductive-Reductive form of Logic: General Theory and Intuitionistic Case
Piotr Łukowski: A Deductive-Reductive form of Logic: Intuitionistic S4 Modalities
Roman Murawski: Truth vs. Provability - Philosophical and Historical Remarks
Jacek Paśniczek: Equating Categorically Names and Quantifiers within First-Order Logic
A. Prusińska, L. Szczerba: Geometry as an extension of the group theory
Werner Stelzner: Compatibility and Relevance: Bolzano and Orlov
Holger Sturm: The True Bisimulations for 'Since' and 'Until'
Heinrich Wansing: Seeing to it that an Agent Forms a Belief
Jan Westerhoff: Defining Ontological Categories in an Expansion of Belief Dynamics
Jan Woleński: Metalogical Properties, Being Logical and Being Formal
Marcin Wolski: Notes on the Geometry of Logic and Philosophy