Works matching IS 00393215 AND DT 1993 AND VI 52 AND IP 4
Results: 6
Formal systems for modal operators on locales.
- Published in:
- Studia Logica, 1993, v. 52, n. 4, p. 595, doi. 10.1007/BF01053262
- By:
- Publication type:
- Article
Recursive versus recursively enumerable binary relations.
- Published in:
- Studia Logica, 1993, v. 52, n. 4, p. 587, doi. 10.1007/BF01053261
- By:
- Publication type:
- Article
Rules in relevant logic - II: Formula representation.
- Published in:
- Studia Logica, 1993, v. 52, n. 4, p. 565, doi. 10.1007/BF01053260
- By:
- Publication type:
- Article
Syntactical results on the arithmetical completeness of modal logic.
- Published in:
- Studia Logica, 1993, v. 52, n. 4, p. 549, doi. 10.1007/BF01053259
- By:
- Publication type:
- Article
A model for science kinematics.
- Published in:
- Studia Logica, 1993, v. 52, n. 4, p. 519, doi. 10.1007/BF01053258
- By:
- Publication type:
- Article
Inductive inference in the limit for first-order sentences.
- Published in:
- Studia Logica, 1993, v. 52, n. 4, p. 491, doi. 10.1007/BF01053257
- By:
- Publication type:
- Article