Works matching IS 00393215 AND DT 2004 AND VI 78 AND IP 3
Results: 5
On Ultrafilter Logic and Special Functions.
- Published in:
- Studia Logica, 2004, v. 78, n. 3, p. 459, doi. 10.1007/s11225-004-6045-y
- By:
- Publication type:
- Article
All Normal Extensions of S5-squared Are Finitely Axiomatizable.
- Published in:
- Studia Logica, 2004, v. 78, n. 3, p. 443, doi. 10.1007/s11225-004-6044-z
- By:
- Publication type:
- Article
Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic.
- Published in:
- Studia Logica, 2004, v. 78, n. 3, p. 381, doi. 10.1007/s11225-004-6042-1
- By:
- Publication type:
- Article
Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkuser Verlag, Boston, 2002, ?90, pp. 480, ISBN 0-8176-4249-8, hardcover. Dimensions (in inches): 1.00 9.96 7.36.
- Published in:
- Studia Logica, 2004, v. 78, n. 3, p. 479, doi. 10.1007/s11225-004-6046-x
- By:
- Publication type:
- Article
Negative Equivalence of Extensions of Minimal Logic.
- Published in:
- Studia Logica, 2004, v. 78, n. 3, p. 417, doi. 10.1007/s11225-004-6043-0
- By:
- Publication type:
- Article