Selective Revision.
- Published in:
- Studia Logica, 1999, v. 63, n. 3, p. 331, doi. 10.1023/A:1005294718935
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1999 AND VI 63 AND IP 3
Results: 7
1
2
Actuality and World-Indexed Sentences.
- Published in:
- Studia Logica, 1999, v. 63, n. 3, p. 311, doi. 10.1023/A:1005242718026
- By:
- Publication type:
- Article
3
Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof.
- Published in:
- Studia Logica, 1999, v. 63, n. 3, p. 301, doi. 10.1023/A:1005262101188
- By:
- Publication type:
- Article
4
Book Reviews.
- Published in:
- Studia Logica, 1999, v. 63, n. 3, p. 417, doi. 10.1023/A:1017265906639
- Publication type:
- Article
5
Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics.
- Published in:
- Studia Logica, 1999, v. 63, n. 3, p. 387, doi. 10.1023/A:1005207121661
- By:
- Publication type:
- Article
6
On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics.
- Published in:
- Studia Logica, 1999, v. 63, n. 3, p. 353, doi. 10.1023/A:1005203020752
- By:
- Publication type:
- Article
7
Basic Logic, K4, and Persistence.
- Published in:
- Studia Logica, 1999, v. 63, n. 3, p. 343, doi. 10.1023/A:1005298819843
- By:
- Publication type:
- Article