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

Table of contents
Third German-Polish Workshop on Logic & Logical Philosophy
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

Preface (PDF)

Tadeusz Czarnecki:G.E. Moore on Logical Possibility (PDF)

Anna Gomolińska:Derivability of Rules from Rule Complexes (PDF)

Reinhard Kahle:Structured Belief Bases (PDF)

Piotr Łukowski:A Deductive-Reductive form of Logic: General Theory and Intuitionistic Case (PDF)

Piotr Łukowski:A Deductive-Reductive form of Logic: Intuitionistic S4 Modalities (PDF)

Roman Murawski:Truth vs. Provability - Philosophical and Historical Remarks (PDF)

Jacek Paśniczek:Equating Categorically Names and Quantifiers within First-Order Logic (PDF)

A. Prusińska, L. Szczerba: Geometry as an extension of the group theory (PDF)

Werner Stelzner:Compatibility and Relevance: Bolzano and Orlov (PDF)

Holger Sturm:The True Bisimulations for `Since' and `Until' (PDF)

Heinrich Wansing:Seeing to it that an Agent Forms a Belief (PDF)

Jan Westerhoff:Defining Ontological Categories in an Expansion of Belief Dynamics (PDF)

Jan Woleński:Metalogical Properties, Being Logical and Being Formal (PDF)

Marcin Wolski:Notes on the Geometry of Logic and Philosophy (PDF)

Pietruszczak Andrzej


Perzanowski Jerzy