Books received.
- Published in:
- 1990
- By:
- Publication type:
- Book Review
Works matching IS 00393215 AND DT 1990 AND VI 49 AND IP 3
Results: 9
1
2
On simplicity of formulas.
- Published in:
- Studia Logica, 1990, v. 49, n. 3, p. 401, doi. 10.1007/BF00370372
- By:
- Publication type:
- Article
3
Information functions with applications.
- Published in:
- Studia Logica, 1990, v. 49, n. 3, p. 387, doi. 10.1007/BF00370371
- By:
- Publication type:
- Article
4
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable.
- Published in:
- Studia Logica, 1990, v. 49, n. 3, p. 365, doi. 10.1007/BF00370370
- By:
- Publication type:
- Article
5
Temporal necessity and the conditional.
- Published in:
- Studia Logica, 1990, v. 49, n. 3, p. 345, doi. 10.1007/BF00370369
- By:
- Publication type:
- Article
6
Axiomatization of the De Morgan type rules.
- Published in:
- Studia Logica, 1990, v. 49, n. 3, p. 333, doi. 10.1007/BF00370368
- By:
- Publication type:
- Article
7
On the logic of conscious belief.
- Published in:
- Studia Logica, 1990, v. 49, n. 3, p. 321, doi. 10.1007/BF00370367
- By:
- Publication type:
- Article
8
Verisimilitude based on concept analysis.
- Published in:
- Studia Logica, 1990, v. 49, n. 3, p. 307, doi. 10.1007/BF00370366
- By:
- Publication type:
- Article
9
Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics.
- Published in:
- Studia Logica, 1990, v. 49, n. 3, p. 289, doi. 10.1007/BF00370365
- By:
- Publication type:
- Article