First Page | Document Content | |
---|---|---|
![]() Date: 2007-12-10 11:41:20Non-classical logic Philosophical logic Modal logic Rohit Jivanlal Parikh Fuzzy logic Temporal logic First-order logic Dynamic logic Proof theory Logic Mathematical logic Mathematics | Source URL: www.sci.brooklyn.cuny.eduDownload Document from Source WebsiteFile Size: 148,70 KBShare Document on Facebook |
![]() | The Constructive in Logic and Applications A Conference in Honor of the 60th Birthday of Sergei Artemov Conference Schedule May 23, 2012, 8:30 9:00 - 9:15DocID: 1qsN1 - View Document |
![]() | Dexter Campbell Kozen May 2, 2015 Office Computer Science Department 436 Gates Hall Cornell UniversityDocID: 18nSV - View Document |
![]() | Epistemic Logic: : Annotated Bibliography Ernest Davis∗ New York University New York, New York Leora MorgensternDocID: 14mt0 - View Document |
![]() | Eric Pacuit May 7, 2014 Contact InformationDocID: Q5px - View Document |
![]() | ARTHUR PAUL PEDERSEN Contact Information Center for Adaptive Rationality Max Planck Institute forDocID: PF5G - View Document |