<--- Back to Details
First PageDocument Content
Non-classical logic / Philosophical logic / Modal logic / Rohit Jivanlal Parikh / Fuzzy logic / Temporal logic / First-order logic / Dynamic logic / Proof theory / Logic / Mathematical logic / Mathematics
Date: 2007-12-10 11:41:20
Non-classical logic
Philosophical logic
Modal logic
Rohit Jivanlal Parikh
Fuzzy logic
Temporal logic
First-order logic
Dynamic logic
Proof theory
Logic
Mathematical logic
Mathematics

Add to Reading List

Source URL: www.sci.brooklyn.cuny.edu

Download Document from Source Website

File Size: 148,70 KB

Share Document on Facebook

Similar Documents

Mathematics / Philosophy / Logic / Meals / Joan Moschovakis / Melvin Fitting / Rohit Jivanlal Parikh / Break / Coffee / Artyomov / Dexter Kozen / Anil Nerode

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:15

DocID: 1qsN1 - View Document

Formal languages / Algebraic logic / Algebraic structures / Dexter Kozen / Kleene algebra / Action algebra / Rohit Jivanlal Parikh / Közen / Workshop on Logic /  Language /  Information and Computation / Mathematics / Logic / Mathematical logic

Dexter Campbell Kozen May 2, 2015 Office Computer Science Department 436 Gates Hall Cornell University

DocID: 18nSV - View Document

Reasoning / Non-classical logic / Logic programming / Artificial intelligence / Epistemic modal logic / Rohit Jivanlal Parikh / Common knowledge / Non-monotonic logic / Modal logic / Logic / Science / Mathematical logic

Epistemic Logic: : Annotated Bibliography Ernest Davis∗ New York University New York, New York Leora Morgenstern

DocID: 14mt0 - View Document

Non-classical logic / Game theory / Epistemology / Philosophical logic / Social software / Rohit Jivanlal Parikh / Formal epistemology / Epistemic modal logic / Modal logic / Logic / Science / Philosophy

Eric Pacuit May 7, 2014 Contact Information

DocID: Q5px - View Document

Epistemology / Philosophy of mathematics / Branches of philosophy / Philosophical logic / Formal epistemology / Statistical inference / Journal of Philosophical Logic / Rohit Jivanlal Parikh / Synthese / Logic / Philosophy / Science

ARTHUR PAUL PEDERSEN Contact Information Center for Adaptive Rationality Max Planck Institute for

DocID: PF5G - View Document