Works matching IS 00393215 AND DT 2002 AND VI 72 AND IP 3
Results: 7
Book Reviews.
- Published in:
- Studia Logica, 2002, v. 72, n. 3, p. 433
- Publication type:
- Article
Interpreting First-order Theories into a Logic of Records.
- Published in:
- Studia Logica, 2002, v. 72, n. 3, p. 411, doi. 10.1023/a:1021849625062
- By:
- Publication type:
- Article
A Predicate Logical Extension of a Subintuitionistic Propositional Logic.
- Published in:
- Studia Logica, 2002, v. 72, n. 3, p. 401, doi. 10.1023/a:1021897508223
- By:
- Publication type:
- Article
Transfers between Logics and their Applications.
- Published in:
- Studia Logica, 2002, v. 72, n. 3, p. 367, doi. 10.1023/a:1021845424153
- By:
- Publication type:
- Article
Affine Spaces over GF(3).
- Published in:
- Studia Logica, 2002, v. 72, n. 3, p. 363, doi. 10.1023/a:1021893307315
- By:
- Publication type:
- Article
Obligation and the Conditional in Stit Theory.
- Published in:
- Studia Logica, 2002, v. 72, n. 3, p. 339, doi. 10.1023/a:1021841323244
- By:
- Publication type:
- Article
Old Foundations for the Logic of Agency and Action.
- Published in:
- Studia Logica, 2002, v. 72, n. 3, p. 313, doi. 10.1023/a:1021871106406
- By:
- Publication type:
- Article