Max A. Freund

From MaRDI portal
(Redirected from Person:238920)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Modal logic. An introduction to its syntax and semantics2008-10-31Paper
A two dimensional tense-modal sortal logic
Journal of Philosophical Logic
2007-10-22Paper
A modal sortal logic
Journal of Philosophical Logic
2004-08-16Paper
A temporal logic for sortals
Studia Logica
2002-04-11Paper
A minimal logical system for computable concepts and effective knowability
Logique et Analyse. Nouvelle Série
2001-09-04Paper
A complete and consistent formal system for sortals
Studia Logica
2000-12-19Paper
Semantics for two second-order logical systems: \(\equiv\mathbf{RRC}^*\) and Cocchiarella's \(\mathbf{RRC}^*\)
Notre Dame Journal of Formal Logic
1997-06-08Paper
The relative consistency of system RRC\(^*\) and some of its extensions
Studia Logica
1994-11-10Paper


Research outcomes over time


This page was built for person: Max A. Freund