| Publication | Date of Publication | Type |
|---|
| Logic, co-ordination and the envelope of our beliefs | 2024-02-20 | Paper |
| Logical omniscience | 2023-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5011848 | 2021-08-30 | Paper |
| Knowledge, behavior, and rationality: rationalizability in epistemic games | 2021-07-21 | Paper |
| Parikh’s Closing Remarks | 2020-07-27 | Paper |
| The Complete Bibliography of Rohit Parikh | 2020-07-27 | Paper |
| Logic without language | 2020-01-14 | Paper |
| An epistemic generalization of rationalizability | 2017-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4599216 | 2017-12-18 | Paper |
| Sentences, Belief and Logical Omniscience, or What Does Deduction Tell Us? | 2017-04-07 | Paper |
| The Strategy of Campaigning | 2015-09-22 | Paper |
| Epistemic Reasoning in Life and Literature | 2015-05-19 | Paper |
| Is There a Logic of Society? | 2015-04-17 | Paper |
| A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief | 2015-01-09 | Paper |
| On Kripke’s Puzzle about Time and Thought | 2015-01-06 | Paper |
| THE POWER OF KNOWLEDGE IN GAMES | 2014-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851826 | 2013-10-04 | Paper |
| Social Interaction, Knowledge, and Social Software | 2013-06-18 | Paper |
| States of Knowledge | 2013-04-19 | Paper |
| Choice and Uncertainty in Games | 2012-07-16 | Paper |
| An Appreciation of Dexter Kozen | 2012-07-16 | Paper |
| Logic in India -- editorial introduction | 2012-03-09 | Paper |
| Beth definability, interpolation and language splitting | 2011-06-08 | Paper |
| The Logic of Campaigning | 2010-12-17 | Paper |
| PROBABILISTIC CONDITIONALS ARE ALMOST MONOTONIC | 2010-08-13 | Paper |
| SENTENCES, BELIEF AND LOGICAL OMNISCIENCE, OR WHAT DOES DEDUCTION TELL US? | 2010-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3574469 | 2010-07-09 | Paper |
| Knowledge and Structure in Social Algorithms | 2009-12-11 | Paper |
| Knowledge, Games and Tales from the East | 2009-02-12 | Paper |
| Some Puzzles About Probability and Probabilistic Conditionals | 2008-01-04 | Paper |
| Density of sets of natural numbers and the Lévy group | 2007-05-04 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| The logic of knowledge based obligation | 2006-08-18 | Paper |
| Decomposing sequences into monotonic subsequences | 2006-03-27 | Paper |
| Finite information logic | 2005-06-01 | Paper |
| Game logic -- an overview | 2004-03-15 | Paper |
| Relevance Sensitive Non-Monotonic Inference on Belief Sequences | 2004-01-11 | Paper |
| A knowledge based semantics of messages | 2003-09-01 | Paper |
| Social software | 2003-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329245 | 2002-10-15 | Paper |
| Approximate belief revision | 2002-09-18 | Paper |
| Completeness of certain bimodal logics for subset spaces | 2002-08-21 | Paper |
| Relevance sensitive belief structures | 2002-06-27 | Paper |
| Sock Sorting: An Example of a Vague Algorithm | 2002-06-16 | Paper |
| Levels of knowledge in distributed systems. | 2002-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2702576 | 2001-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518818 | 2000-12-03 | Paper |
| Length and structure of proofs | 1999-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234970 | 1999-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4397039 | 1998-06-25 | Paper |
| Topological reasoning and the logic of knowledge | 1996-10-30 | Paper |
| A logical study of distributed transition systems | 1995-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4010367 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3989937 | 1992-06-28 | Paper |
| Communication, consensus, and knowledge | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3346126 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680260 | 1985-01-01 | Paper |
| Equations between Regular Terms and an Application to Process Logic | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218103 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3347262 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677736 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3326827 | 1983-01-01 | Paper |
| Some applications of topology to program semantics | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3967512 | 1983-01-01 | Paper |
| Process logic: Expressiveness, decidability, completeness | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939209 | 1982-01-01 | Paper |
| An elementary proof of the completeness of PDL | 1981-01-01 | Paper |
| Definability in dynamic logic | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922159 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4745239 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4173344 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3874266 | 1977-01-01 | Paper |
| An ℵ 0 -Categorical Theory Whose Language is Countably Infinite | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4765779 | 1974-01-01 | Paper |
| A Note on Paths Through O | 1973-01-01 | Paper |
| Conditional probability can be defined for all pairs of sets of reals | 1972-01-01 | Paper |
| Existence and feasibility in arithmetic | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5581604 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5581605 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5583849 | 1967-01-01 | Paper |
