Nr 10 (2002)

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