Max A. Freund

Available identifiers

zbMath Open freund.max-aMaRDI QIDQ238920

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3531455	2008-10-31	Paper
A two dimensional tense-modal sortal logic	2007-10-22	Paper
A modal sortal logic	2004-08-16	Paper
A temporal logic for sortals	2002-04-11	Paper
A minimal logical system for computable concepts and effective knowability	2001-09-04	Paper
A complete and consistent formal system for sortals	2000-12-19	Paper
Semantics for two second-order logical systems: \(\equiv\mathbf{RRC}^*\) and Cocchiarella's \(\mathbf{RRC}^*\)	1997-06-08	Paper
The relative consistency of system RRC\(^*\) and some of its extensions	1994-11-10	Paper

Research outcomes over time

This page was built for person: Max A. Freund