No. 10 (2002)

No. 10 (2002)
Monday, Jan 19, 2004
Third German-Polish Workshop on Logic & Logical Philosophy. Guest Editors: Anna Gomolińska, Max Urchs and Heinrich Wansing
This issue table of contents
Articles
G.E. Moore on logical possibility
Tadeusz Czarnecki
7–19
PDF
Derivability of rules from rule complexes
Anna Gomolińska
21–44
PDF
Structured belief bases
Reinhard Kahle
45–58
PDF
A deductive-reductive form of logic: General theory and intuitionistic case
Piotr Łukowski
59–78
PDF
A deductive-reductive form of logic: Intuitionistic S4 modalities
Piotr Łukowski
79–91
PDF
Truth vs. provability – philosophical and historical remarks
Roman Murawski
93–117
PDF
Equating categorially names and quantifiers within first-order logic
Jacek Paśniczek
119–129
PDF
Geometry as an extension of the group theory
A. Prusińska, L. Szczerba
131–135
PDF
Compatibility and relevance: Bolzano and Orlov
Werner Stelzner
137–171
PDF
The true bisimulations for 'since' and 'until'
Holger Sturm
173–183
PDF
Seeing to it that an agent forms a belief
Heinrich Wansing
185–197
PDF
Defining ontological categories in an expansion of belief dynamics
Jan Westerhoff
199–210
PDF
Metalogical properties, being logical and being formal
Jan Woleński
211–221
PDF
Notes on the geometry of logic and philosophy
Marcin Wolski
223–232
PDF