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 |