| Publication | Date of Publication | Type |
|---|
Logic and the social world
Logica Universalis | 2025-11-25 | Paper |
| Groups, communication and coordination | 2025-04-02 | Paper |
| Influence in different network structures | 2024-09-11 | Paper |
Logic, co-ordination and the envelope of our beliefs
Logic Journal of the IGPL | 2024-02-20 | Paper |
Logical omniscience
Lecture Notes in Computer Science | 2023-12-12 | Paper |
| Feasibility, sorites and vagueness | 2021-08-30 | Paper |
Knowledge, behavior, and rationality: rationalizability in epistemic games
Archive for Mathematical Logic | 2021-07-21 | Paper |
Parikh’s Closing Remarks
Outstanding Contributions to Logic | 2020-07-27 | Paper |
The Complete Bibliography of Rohit Parikh
Outstanding Contributions to Logic | 2020-07-27 | Paper |
| Logic without language | 2020-01-14 | Paper |
| An epistemic generalization of rationalizability | 2017-12-20 | Paper |
| Why we speak | 2017-12-18 | Paper |
Sentences, belief and logical omniscience, or what does deduction tell us?
Readings in Formal Epistemology | 2017-04-07 | Paper |
The strategy of campaigning
Fields of Logic and Computation II | 2015-09-22 | Paper |
Epistemic reasoning in life and literature
David Makinson on Classical Methods for Non-Classical Problems | 2015-05-19 | Paper |
Is there a logic of society?
Proof, Computation and Agency | 2015-04-17 | Paper |
A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief
Logic and Its Applications | 2015-01-09 | Paper |
On Kripke’s Puzzle about Time and Thought
Logic and Its Applications | 2015-01-06 | Paper |
The power of knowledge in games
International Game Theory Review | 2014-02-05 | Paper |
| Some remarks on knowledge, games and society | 2013-10-04 | Paper |
Social interaction, knowledge, and social software
Interactive Computation | 2013-06-18 | Paper |
States of knowledge
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Choice and uncertainty in games
Logic and Program Semantics | 2012-07-16 | Paper |
An Appreciation of Dexter Kozen
Logic and Program Semantics | 2012-07-16 | Paper |
Logic in India -- editorial introduction
Journal of Philosophical Logic | 2012-03-09 | Paper |
Beth definability, interpolation and language splitting
Synthese | 2011-06-08 | Paper |
The logic of campaigning
Logic and Its Applications | 2010-12-17 | Paper |
Probabilistic conditionals are almost monotonic
The Review of Symbolic Logic | 2010-08-13 | Paper |
Sentences, belief and logical omniscience, or what does deduction tell us?
The Review of Symbolic Logic | 2010-08-13 | Paper |
| scientific article; zbMATH DE number 5734944 (Why is no real title available?) | 2010-07-09 | Paper |
Knowledge and structure in social algorithms
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Knowledge, Games and Tales from the East
Logic and Its Applications | 2009-02-12 | Paper |
Some Puzzles About Probability and Probabilistic Conditionals
Logical Foundations of Computer Science | 2008-01-04 | Paper |
Density of sets of natural numbers and the Lévy group
Journal of Number Theory | 2007-05-04 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
The logic of knowledge based obligation
Synthese | 2006-08-18 | Paper |
| Decomposing sequences into monotonic subsequences | 2006-03-27 | Paper |
Finite information logic
Annals of Pure and Applied Logic | 2005-06-01 | Paper |
Game logic -- an overview
Studia Logica | 2004-03-15 | Paper |
Relevance Sensitive Non-Monotonic Inference on Belief Sequences
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
A knowledge based semantics of messages
Journal of Logic, Language and Information | 2003-09-01 | Paper |
Social software
Synthese | 2003-04-27 | Paper |
| scientific article; zbMATH DE number 1735884 (Why is no real title available?) | 2002-10-15 | Paper |
Approximate belief revision
Logic Journal of the IGPL | 2002-09-18 | Paper |
Completeness of certain bimodal logics for subset spaces
Studia Logica | 2002-08-21 | Paper |
Relevance sensitive belief structures
Annals of Mathematics and Artificial Intelligence | 2002-06-27 | Paper |
Sock sorting: An example of a vague algorithm
Logic Journal of the IGPL | 2002-06-16 | Paper |
Levels of knowledge in distributed systems.
Sādhanā | 2002-02-18 | Paper |
| How far can we formalize language games? | 2001-08-21 | Paper |
| scientific article; zbMATH DE number 1537944 (Why is no real title available?) | 2000-12-03 | Paper |
Length and structure of proofs
Synthese | 1999-08-30 | Paper |
| scientific article; zbMATH DE number 1265033 (Why is no real title available?) | 1999-03-16 | Paper |
| scientific article; zbMATH DE number 1169387 (Why is no real title available?) | 1998-06-25 | Paper |
Topological reasoning and the logic of knowledge
Annals of Pure and Applied Logic | 1996-10-30 | Paper |
A logical study of distributed transition systems
Information and Computation | 1995-08-01 | Paper |
| scientific article; zbMATH DE number 65756 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 35415 (Why is no real title available?) | 1992-06-28 | Paper |
Communication, consensus, and knowledge
Journal of Economic Theory | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 3880483 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3902018 (Why is no real title available?) | 1985-01-01 | Paper |
Equations between Regular Terms and an Application to Process Logic
SIAM Journal on Computing | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3890702 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3898850 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3884133 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3858391 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3790399 (Why is no real title available?) | 1983-01-01 | Paper |
Some applications of topology to program semantics
Mathematical Systems Theory | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3755843 (Why is no real title available?) | 1982-01-01 | Paper |
Process logic: Expressiveness, decidability, completeness
Journal of Computer and System Sciences | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3735127 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3800904 (Why is no real title available?) | 1981-01-01 | Paper |
An elementary proof of the completeness of PDL
Theoretical Computer Science | 1981-01-01 | Paper |
Definability in dynamic logic
Journal of Computer and System Sciences | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3607998 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3677903 (Why is no real title available?) | 1977-01-01 | Paper |
An ℵ 0 -Categorical Theory Whose Language is Countably Infinite
Proceedings of the American Mathematical Society | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3439727 (Why is no real title available?) | 1974-01-01 | Paper |
A Note on Paths Through O
Proceedings of the American Mathematical Society | 1973-01-01 | Paper |
Conditional probability can be defined for all pairs of sets of reals
Advances in Mathematics | 1972-01-01 | Paper |
Existence and feasibility in arithmetic
Journal of Symbolic Logic | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3299715 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3299716 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3302278 (Why is no real title available?) | 1967-01-01 | Paper |
