The following pages link to Rohit Parikh (Q230000):
Displaying 50 items.
- Beth definability, interpolation and language splitting (Q542122) (← links)
- Logic in India -- editorial introduction (Q763470) (← links)
- Density of sets of natural numbers and the Lévy group (Q877927) (← links)
- An elementary proof of the completeness of PDL (Q1147690) (← links)
- Definability in dynamic logic (Q1158140) (← links)
- Process logic: Expressiveness, decidability, completeness (Q1168965) (← links)
- Length and structure of proofs (Q1299774) (← links)
- A knowledge based semantics of messages (Q1403408) (← links)
- Game logic -- an overview (Q1425186) (← links)
- Relevance sensitive belief structures (Q1601852) (← links)
- Completeness of certain bimodal logics for subset spaces (Q1611248) (← links)
- An epistemic generalization of rationalizability (Q1685934) (← links)
- Finite information logic (Q1779313) (← links)
- Social software (Q1868177) (← links)
- A logical study of distributed transition systems (Q1893730) (← links)
- Topological reasoning and the logic of knowledge (Q1919762) (← links)
- Knowledge, behavior, and rationality: rationalizability in epistemic games (Q2042733) (← links)
- Logic without language (Q2284189) (← links)
- The logic of knowledge based obligation (Q2500829) (← links)
- Conditional probability can be defined for all pairs of sets of reals (Q2558403) (← links)
- Communication, consensus, and knowledge (Q2640428) (← links)
- (Q2702576) (← links)
- Sock Sorting: An Example of a Vague Algorithm (Q2765561) (← links)
- (Q2851826) (← links)
- Choice and Uncertainty in Games (Q2897956) (← links)
- An Appreciation of Dexter Kozen (Q2897970) (← links)
- On Kripke’s Puzzle about Time and Thought (Q2936235) (← links)
- A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief (Q2937397) (← links)
- The Strategy of Campaigning (Q2947178) (← links)
- Sentences, Belief and Logical Omniscience, or What Does Deduction Tell Us? (Q2971695) (← links)
- The Logic of Campaigning (Q3063968) (← links)
- Approximate belief revision (Q3147356) (← links)
- (Q3218103) (← links)
- Parikh’s Closing Remarks (Q3299852) (← links)
- The Complete Bibliography of Rohit Parikh (Q3299853) (← links)
- (Q3326827) (← links)
- Some applications of topology to program semantics (Q3340119) (← links)
- (Q3346126) (← links)
- (Q3347262) (← links)
- (Q3574469) (← links)
- PROBABILISTIC CONDITIONALS ARE ALMOST MONOTONIC (Q3580660) (← links)
- SENTENCES, BELIEF AND LOGICAL OMNISCIENCE, OR WHAT DOES DEDUCTION TELL US? (Q3580682) (← links)
- Knowledge, Games and Tales from the East (Q3601801) (← links)
- Knowledge and Structure in Social Algorithms (Q3651503) (← links)
- (Q3677736) (← links)
- (Q3680260) (← links)
- Equations between Regular Terms and an Application to Process Logic (Q3713595) (← links)
- (Q3874266) (← links)
- (Q3922159) (← links)
- (Q3939209) (← links)
