Rohit Parikh (CUNY Graduate Center): Publications

More details

CUNY Graduate Center
Department of Philosophy

Distinguished Professor

New York City, New York, United States of America

Areas of Specialization

Philosophy of Language

Logic and Philosophy of Logic

Areas of Interest

Epistemology

Philosophy of Language

Logic and Philosophy of Logic

Philosophy of Probability

1

Some Reminiscences of Kreisel
In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel, A K Peters. pp. 89. 1996.
Modal Logic and Possible Worlds
In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, Uppsala Philosophical Studies 53. pp. 53--339. 2006.

Modal and Intensional Logic Possible World Semantics Semantics for Modal Logic
139

Goldblatt Robert. Logics of time and computation. CSLI lecture notes, no. 7. Center for the Study of Language and Information, Stanford 1987, also distributed by the University of Chicago Press, Chicago, ix + 131 pp
Journal of Symbolic Logic 56 (4): 1495-1496. 1991.

Logic and Philosophy of Logic
44

Definability in Dynamic Logic
with Albert R. Meyer

Journal of Symbolic Logic 49 (4): 1420-1421. 1984.
81

Semantical Considerations on Floyd-Hoare Logic
with Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, and Tadeuz Traczyk

Journal of Symbolic Logic 51 (1): 225-227. 1986.

Logic and Philosophy of Logic
Uwe Schoning and Randall Pruim, Gems of Theoretical Computer Science
Journal of Logic Language and Information 9 (1): 131-132. 2000.

Science, Logic, and Mathematics Philosophy of Computing and Information Computationalism
20

Review: Robert Goldblatt, Logics of Time and Computation (review)
Journal of Symbolic Logic 60 (1): 347-347. 1995.

Logic and Philosophy of Logic
93

Length and structure of proofs
Synthese 114 (1): 41-48. 1998.
Effectiveness
Philosophical Forum 12 (1): 68. 1980.

Continental Philosophy

Prev.
1
2
3
Next

Rohit Parikh

Some Reminiscences of Kreisel
In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel, A K Peters. pp. 89. 1996.

Modal Logic and Possible Worlds
In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, Uppsala Philosophical Studies 53. pp. 53--339. 2006.

Goldblatt Robert. Logics of time and computation. CSLI lecture notes, no. 7. Center for the Study of Language and Information, Stanford 1987, also distributed by the University of Chicago Press, Chicago, ix + 131 pp
Journal of Symbolic Logic 56 (4): 1495-1496. 1991.

Definability in Dynamic Logic
with Albert R. Meyer

Journal of Symbolic Logic 49 (4): 1420-1421. 1984.

Semantical Considerations on Floyd-Hoare Logic
with Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, and Tadeuz Traczyk

Journal of Symbolic Logic 51 (1): 225-227. 1986.

Uwe Schoning and Randall Pruim, Gems of Theoretical Computer Science
Journal of Logic Language and Information 9 (1): 131-132. 2000.

Review: Robert Goldblatt, Logics of Time and Computation (review)
Journal of Symbolic Logic 60 (1): 347-347. 1995.

Length and structure of proofs
Synthese 114 (1): 41-48. 1998.

Effectiveness
Philosophical Forum 12 (1): 68. 1980.

Rohit Parikh

Some Reminiscences of Kreisel In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel, A K Peters. pp. 89. 1996.

Modal Logic and Possible Worlds In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, Uppsala Philosophical Studies 53. pp. 53--339. 2006.

Goldblatt Robert. Logics of time and computation. CSLI lecture notes, no. 7. Center for the Study of Language and Information, Stanford 1987, also distributed by the University of Chicago Press, Chicago, ix + 131 pp Journal of Symbolic Logic 56 (4): 1495-1496. 1991.

Definability in Dynamic Logic with Albert R. Meyer Journal of Symbolic Logic 49 (4): 1420-1421. 1984.

Semantical Considerations on Floyd-Hoare Logic with Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, and Tadeuz Traczyk Journal of Symbolic Logic 51 (1): 225-227. 1986.

Uwe Schoning and Randall Pruim, Gems of Theoretical Computer Science Journal of Logic Language and Information 9 (1): 131-132. 2000.

Review: Robert Goldblatt, Logics of Time and Computation (review) Journal of Symbolic Logic 60 (1): 347-347. 1995.

Length and structure of proofs Synthese 114 (1): 41-48. 1998.

Effectiveness Philosophical Forum 12 (1): 68. 1980.

Some Reminiscences of Kreisel
In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel, A K Peters. pp. 89. 1996.

Modal Logic and Possible Worlds
In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, Uppsala Philosophical Studies 53. pp. 53--339. 2006.

Goldblatt Robert. Logics of time and computation. CSLI lecture notes, no. 7. Center for the Study of Language and Information, Stanford 1987, also distributed by the University of Chicago Press, Chicago, ix + 131 pp
Journal of Symbolic Logic 56 (4): 1495-1496. 1991.

Definability in Dynamic Logic
with Albert R. Meyer

Journal of Symbolic Logic 49 (4): 1420-1421. 1984.

Semantical Considerations on Floyd-Hoare Logic
with Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, and Tadeuz Traczyk

Journal of Symbolic Logic 51 (1): 225-227. 1986.

Uwe Schoning and Randall Pruim, Gems of Theoretical Computer Science
Journal of Logic Language and Information 9 (1): 131-132. 2000.

Review: Robert Goldblatt, Logics of Time and Computation (review)
Journal of Symbolic Logic 60 (1): 347-347. 1995.

Length and structure of proofs
Synthese 114 (1): 41-48. 1998.

Effectiveness
Philosophical Forum 12 (1): 68. 1980.