researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Studia Logica
Home
Index
Info
Volume
Volume
49
, Issue
4
431
--
454
Wojciech Buszkowski
,
Gerald Penn
.
Categorial grammars determined from linguistic data by unification
455
--
470
Marcus Kracht
.
An almost general splitting theorem for modal logic
471
--
481
Katsumi Sasaki
.
The simple substitution property of Gödel's intermediate propositional logics Sn's
483
--
499
Marek Nowak
.
Logics preserving degrees of truth
501
--
514
André Fuhrmann
.
Models for relevant modal logics
515
--
522
Wojciech Zielonka
.
Linear axiomatics of commutative product-free Lambek calculus
523
--
539
Heinrich Wansing
.
A general possible worlds framework for reasoning about knowledge and belief
541
--
555
Beata Konikowska
.
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic
557
--
566
Horacio L. Arlo Costa
.
Conditionals and monotonic belief revisions: the success postulate
567
--
583
Jim D. Mackenzie
.
Four dialogue systems
585
--
590
Patrick Dehornoy
.
A coding of the countable linear orderings
591
--
600
Franco Montagna
,
Giovanni Sommaruga
.
A note on some extension results
601
--
611
Janusz Czelakowski
.
Books received
613
--
614
Wolfgang Rautenberg
.
Mail box
Volume
49
, Issue
3
289
--
306
Nobu-Yuki Suzuki
.
Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
307
--
320
Ewa Orlowska
.
Verisimilitude based on concept analysis
321
--
332
Marek Tokarz
.
On the logic of conscious belief
333
--
343
B. Herrmann
,
Wolfgang Rautenberg
.
Axiomatization of the De Morgan type rules
345
--
363
Charles B. Cross
.
Temporal necessity and the conditional
365
--
385
Valentin B. Shehtman
.
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
387
--
400
Krzysztof Szymanek
.
Information functions with applications
401
--
419
Michal Krynicki
,
Leslaw Szczerba
.
On simplicity of formulas
421
--
429
Janusz Czelakowski
.
Books received
Volume
49
, Issue
2
0
--
0
Jan Woleznski
.
Klemens Szaniawski (1925-1990)
163
--
170
M. J. Cresswell
.
Modality and Mellor's McTaggart
171
--
174
Kazimierz Swirydowicz
.
On regular modal logics with axiom □ ⊤ → □□ ⊤
175
--
181
George Edward Hughes
.
Every world can see a reflexive world
183
--
195
Alberto Zanardo
.
Axiomatization of 'Peircean' branching-time logic
197
--
214
I. L. Humberstone
.
Expressive power and semantic completeness: Boolean connectives in modal logic
215
--
239
Vladimir V. Rybakov
.
Logical equations and admissible rules of inference with parameters in modal provability logics
241
--
252
C. Cerrato
.
General canonical models for graded normal logics (graded modalities IV)
255
--
272
Ewa Orlowska
.
Kripke semantics for knowledge representation logics
273
--
282
Jan Wolenski
.
Deontic logic and possible worlds semantics: A historical sketch
283
--
287
Janusz Czelakowski
.
Books received
Volume
49
, Issue
1
1
--
6
David Makinson
.
The Gärdenfors impossibility theorem in non-monotonic contexts
7
--
21
Giorgie Dzhaparidze
.
Decidable and enumerable predicate logics of provability
23
--
30
Raymond M. Smullyan
.
Some new double induction and superinduction principles
31
--
46
Néstor G. Martínez
.
The Priestley duality for Wajsberg algebras
47
--
65
Richard Sylvan
.
ω
67
--
82
Nuel Belnap
,
Gerald J. Massey
.
Semantic holism
83
--
86
Gerald J. Massey
.
Semantic Holism is seriously false
87
--
104
Charles B. Daniels
.
Definite descriptions
105
--
126
Andrzej Sendlewski
.
Nelson algebras through Heyting ones: I
127
--
132
E. H. Alves
,
J. A. D. Guerzoni
.
Extending Montague's system: a three valued intensional logic
133
--
149
F. W. Kroon
,
Walter A. Burkhard
.
On a complexity-based way of constructivizing the recursive functions
151
--
161
Janusz Czelakowski
,
Alasdair Urquhart
,
Ryszard Wójcicki
,
Jan Wolenski
,
Andrzej Sendlewski
,
Marcin Mostowski
.
Books received