dblp.uni-trier.dewww.uni-trier.de

Max A. Freund

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
4 Max A. Freund: A Temporal Logic for Sortals. Studia Logica 69(3): 351-380 (2001)
2000
3 Max A. Freund: A Complete and Consistent Formal System for Sortals. Studia Logica 65(3): 367-381 (2000)
1996
2 Max A. Freund: Semantics for Two Second-Order Logical Systems: =RRC* and Cocchiarella's RRC*. Notre Dame Journal of Formal Logic 37(3): 483-505 (1996)
1994
1 Max A. Freund: The relative consistency of system RRC* and some of its extensions. Studia Logica 53(3): 351-360 (1994)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)