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) |