Works matching IS 00393215 AND DT 1991 AND VI 50 AND IP 2
Results: 16
International Union of History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science Bulletin no. 15.
- Published in:
- 1991
- Publication type:
- Report
Addenda and corrigenda to 'A general possible worlds framework for reasoning about knowledge and belief'.
- Published in:
- Studia Logica, 1991, v. 50, n. 2, p. 359, doi. 10.1007/BF00370194
- By:
- Publication type:
- Article
Books received.
- Published in:
- 1991
- By:
- Publication type:
- Book Review
Arithmetical Set Theory.
- Published in:
- Studia Logica, 1991, v. 50, n. 2, p. 343, doi. 10.1007/BF00370192
- By:
- Publication type:
- Article
Two sequences of locally tabular superintuitionistic logics.
- Published in:
- Studia Logica, 1991, v. 50, n. 2, p. 333, doi. 10.1007/BF00370191
- By:
- Publication type:
- Article
Minimally inconsistent LP.
- Published in:
- Studia Logica, 1991, v. 50, n. 2, p. 321, doi. 10.1007/BF00370190
- By:
- Publication type:
- Article
The contraction rule and decision problems for logics without structural rules.
- Published in:
- Studia Logica, 1991, v. 50, n. 2, p. 299, doi. 10.1007/BF00370189
- By:
- Publication type:
- Article
Belief contraction without recovery.
- Published in:
- Studia Logica, 1991, v. 50, n. 2, p. 251, doi. 10.1007/BF00370186
- By:
- Publication type:
- Article
Erotetic arguments: A preliminary analysis.
- Published in:
- Studia Logica, 1991, v. 50, n. 2, p. 261, doi. 10.1007/BF00370187
- By:
- Publication type:
- Article
On structural completeness of implicational logics.
- Published in:
- Studia Logica, 1991, v. 50, n. 2, p. 275, doi. 10.1007/BF00370188
- By:
- Publication type:
- Article
A note on the interpretability logic of finitely axiomatized theories.
- Published in:
- Studia Logica, 1991, v. 50, n. 2, p. 241, doi. 10.1007/BF00370185
- By:
- Publication type:
- Article
Logical feedback.
- Published in:
- Studia Logica, 1991, v. 50, n. 2, p. 225, doi. 10.1007/BF00370184
- By:
- Publication type:
- Article
An algebraic treatment of the barwise compactness theory.
- Published in:
- Studia Logica, 1991, v. 50, n. 2, p. 217, doi. 10.1007/BF00370183
- By:
- Publication type:
- Article
The disjunction property of intermediate propositional logics.
- Published in:
- Studia Logica, 1991, v. 50, n. 2, p. 189, doi. 10.1007/BF00370182
- By:
- Publication type:
- Article
Three-membered domains for aristotle's syllogistic.
- Published in:
- Studia Logica, 1991, v. 50, n. 2, p. 181, doi. 10.1007/BF00370181
- By:
- Publication type:
- Article
On decision procedures for sentential logics.
- Published in:
- Studia Logica, 1991, v. 50, n. 2, p. 173, doi. 10.1007/BF00370180
- By:
- Publication type:
- Article