| Publication | Date of Publication | Type |
|---|
A unifying framework for causal modeling with infinitely many variables
The Journal of Artificial Intelligence Research (JAIR) | 2025-10-22 | Paper |
Sufficient conditions for causality to be transitive
Philosophy of Science | 2025-03-27 | Paper |
Bounding the communication complexity of fault-tolerant common coin tossing
ACM Transactions on Computation Theory | 2025-02-25 | Paper |
Lower bounds on implementing mediators in asynchronous systems with rational and malicious agents
Journal of the ACM | 2025-02-05 | Paper |
| Language-based decisions | 2024-11-24 | Paper |
Communication games, sequential equilibrium, and mediators
Journal of Economic Theory | 2024-09-13 | Paper |
Optimal Eventual Byzantine Agreement Protocols with Omission Failures
Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing | 2024-03-26 | Paper |
Sequential Language-based Decisions
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
Joint Behavior and Common Belief
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
| Inference for Probabilistic Dependency Graphs | 2023-11-09 | Paper |
Information Acquisition Under Resource Limitations in a Noisy Environment
Journal of the ACM | 2023-04-27 | Paper |
| Security in Asynchronous Interactive Systems | 2023-04-21 | Paper |
Biography of Judea Pearl by Stuart J. Russell
Probabilistic and Causal Inference | 2023-04-04 | Paper |
Turing Award Lecture
Probabilistic and Causal Inference | 2023-04-04 | Paper |
Interview by Martin Ford
Probabilistic and Causal Inference | 2023-04-04 | Paper |
An Interview with Ron Wassertein on How <i>The Book of Why</i> Transforms Statistics
Probabilistic and Causal Inference | 2023-04-04 | Paper |
Selected Annotated Bibliography by Judea Pearl
Probabilistic and Causal Inference | 2023-04-04 | Paper |
From statistical knowledge bases to degrees of belief
Artificial Intelligence | 2022-09-27 | Paper |
A nonstandard approach to the logical omniscience problem
Artificial Intelligence | 2022-09-21 | Paper |
| scientific article; zbMATH DE number 7450031 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7450031 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
| scientific article; zbMATH DE number 7444845 (Why is no real title available?) | 2021-12-14 | Paper |
scientific article; zbMATH DE number 7444845 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-14 | Paper |
| A knowledge-based analysis of the blockchain protocol | 2021-12-14 | Paper |
A knowledge-based analysis of the blockchain protocol
(available as arXiv preprint) | 2021-12-14 | Paper |
| An epistemic foundation for authentication logics (extended abstract) | 2021-12-14 | Paper |
An epistemic foundation for authentication logics (extended abstract)
(available as arXiv preprint) | 2021-12-14 | Paper |
| Bayesian games with intentions | 2021-12-07 | Paper |
| Translucent players: explaining cooperative behavior in social dilemmas | 2021-12-07 | Paper |
Translucent players: explaining cooperative behavior in social dilemmas
(available as arXiv preprint) | 2021-12-07 | Paper |
Constructive decision theory
Journal of Economic Theory | 2021-09-29 | Paper |
Combining experts' causal judgments
Artificial Intelligence | 2021-08-16 | Paper |
Combining experts' causal judgments
Artificial Intelligence | 2021-08-16 | Paper |
Implementing Mediators with Asynchronous Cheap Talk
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing | 2021-01-20 | Paper |
Using counterfactuals in knowledge-based programming
Distributed Computing | 2020-12-04 | Paper |
A note on knowledge-based programs and specifications
Distributed Computing | 2020-12-03 | Paper |
A decision-theoretic approach to reliable message delivery
Distributed Computing | 2020-12-03 | Paper |
Knowledge-based programs
Distributed Computing | 2020-12-02 | Paper |
Bayesian games with intentions
Games and Economic Behavior | 2020-10-26 | Paper |
A NOTE ON THE EXISTENCE OF RATIFIABLE ACTS
The Review of Symbolic Logic | 2020-08-26 | Paper |
Why bother with syntax?
Outstanding Contributions to Logic | 2020-07-27 | Paper |
On the existence of Nash equilibrium in games with resource-bounded players
(available as arXiv preprint) | 2020-02-04 | Paper |
| On the existence of Nash equilibrium in games with resource-bounded players | 2020-02-04 | Paper |
Book review of: J. Pearl, The book of why
Artificial Intelligence | 2020-01-20 | Paper |
The truth behind the myth of the folk theorem
Games and Economic Behavior | 2019-09-19 | Paper |
| Redoing the foundations of decision theory | 2019-04-23 | Paper |
Updating probability: tracking statistics as criterion
The British Journal for the Philosophy of Science | 2018-11-19 | Paper |
Game theory with translucent players
International Journal of Game Theory | 2018-11-09 | Paper |
Incentive-compatible mechanisms for norm monitoring in open multi-agent systems
Journal of Artificial Intelligence Research | 2018-08-14 | Paper |
Rational consensus (extended abstract)
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | 2017-09-29 | Paper |
Knowledge-based programs
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 | 2017-09-29 | Paper |
Performing work efficiently in the presence of faults
Proceedings of the eleventh annual ACM symposium on Principles of distributed computing - PODC '92 | 2017-08-21 | Paper |
Reasoning about rationality
Games and Economic Behavior | 2017-08-17 | Paper |
Characterizing solution concepts in terms of common knowledge of rationality
International Journal of Game Theory | 2017-08-15 | Paper |
Erratum to: ``A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium''
International Journal of Game Theory | 2017-08-15 | Paper |
| Reasoning about uncertainty | 2017-08-10 | Paper |
What causes a system to satisfy a specification?
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
| Actual causality | 2017-06-13 | Paper |
First-order conditional logic for default reasoning revisited
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
The truth behind the myth of the folk theorem
Proceedings of the 5th conference on Innovations in theoretical computer science | 2017-05-19 | Paper |
The computational complexity of structure-based causality
Journal of Artificial Intelligence Research | 2017-04-10 | Paper |
Substantive rationality and backward induction
Readings in Formal Epistemology | 2017-04-07 | Paper |
Graded causation and defaults
The British Journal for the Philosophy of Science | 2017-03-03 | Paper |
Graded causation and defaults
The British Journal for the Philosophy of Science | 2017-03-03 | Paper |
No justified complaints: on fair sharing of multiple resources
Proceedings of the 3rd Innovations in Theoretical Computer Science Conference | 2016-10-07 | Paper |
| scientific article; zbMATH DE number 6606375 (Why is no real title available?) | 2016-07-26 | Paper |
Minimizing regret in dynamic decision problems
Theory and Decision | 2016-07-06 | Paper |
Appropriate causal models and the stability of causation
The Review of Symbolic Logic | 2016-04-29 | Paper |
Maxmin weighted expected utility: a simpler characterization
Theory and Decision | 2016-04-20 | Paper |
Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing | 2016-03-04 | Paper |
Weighted regret-based likelihood: a new approach to describing uncertainty
Journal of Artificial Intelligence Research | 2015-11-25 | Paper |
Weighted sets of probabilities and minimax weighted expected regret: a new approach for representing uncertainty and making decisions
Theory and Decision | 2015-11-13 | Paper |
Minimizing regret in dynamic decision problems
Lecture Notes in Computer Science | 2015-11-10 | Paper |
Erratum for “What causes a system to satisfy a specification?”
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A logic for reasoning about ambiguity
Artificial Intelligence | 2015-08-27 | Paper |
On spectrum sharing games
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing | 2015-08-03 | Paper |
Message-optimal protocols for byzantine agreement (extended abstract)
Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91 | 2015-06-19 | Paper |
Ambiguous language and common priors
Games and Economic Behavior | 2015-05-05 | Paper |
Algorithmic rationality: game theory with costly computation
Journal of Economic Theory | 2015-02-13 | Paper |
Conditional belief types
Games and Economic Behavior | 2015-01-14 | Paper |
Not just an empty threat: subgame-perfect equilibrium in repeated games played by computationally bounded players
Web and Internet Economics | 2015-01-07 | Paper |
Beyond nash equilibrium
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing | 2014-12-12 | Paper |
An almost-surely terminating polynomial protocol for asynchronous Byzantine agreement with optimal resilience
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing | 2014-12-12 | Paper |
Distributed protocols for leader election: a game-theoretic perspective
Lecture Notes in Computer Science | 2014-09-29 | Paper |
Extensive games with possibly unaware players
Mathematical Social Sciences | 2014-07-15 | Paper |
Reprint of: Reasoning about knowledge of unawareness revisited
Mathematical Social Sciences | 2014-07-15 | Paper |
A Procedural Characterization of Solution Concepts in Games
Journal of Artificial Intelligence Research | 2014-03-24 | Paper |
Conservative belief and rationality
Games and Economic Behavior | 2014-02-21 | Paper |
Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty
Lecture Notes in Computer Science | 2013-08-05 | Paper |
On spectrum sharing games
Distributed Computing | 2013-06-28 | Paper |
From causal models to counterfactual structures
The Review of Symbolic Logic | 2013-06-18 | Paper |
A knowledge-theoretic analysis of uniform distributed coordination and failure detectors
Distributed Computing | 2013-06-07 | Paper |
Reasoning about knowledge of unawareness revisited
Mathematical Social Sciences | 2013-03-07 | Paper |
Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion
Distributed Computing | 2013-02-04 | Paper |
Dexter Kozen: An Appreciation
Logic and Program Semantics | 2012-07-16 | Paper |
Modeling adversaries in a logic for security protocol analysis
Logical Methods in Computer Science | 2012-04-03 | Paper |
Iterated regret minimization: a new solution concept
Games and Economic Behavior | 2012-03-05 | Paper |
Generalized solution concepts in games with possibly unaware players
International Journal of Game Theory | 2012-02-22 | Paper |
A knowledge-based analysis of global function computation
Distributed Computing | 2012-02-06 | Paper |
Making decisions using sets of probabilities: updating, time consistency, and calibration
(available as arXiv preprint) | 2012-01-12 | Paper |
Beyond Nash equilibrium: solution concepts for the 21st century
Lecture Notes in Computer Science | 2011-11-11 | Paper |
| Beyond Nash equilibrium: solution concepts for the 21st century | 2011-10-05 | Paper |
Dealing with logical omniscience: expressiveness and pragmatics
Artificial Intelligence | 2011-06-17 | Paper |
Knowledge-based synthesis of distributed systems using event structures
Logical Methods in Computer Science | 2011-05-26 | Paper |
| Actual causation and the art of modeling | 2011-05-06 | Paper |
A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium
International Journal of Game Theory | 2011-05-05 | Paper |
Multiagent Learning in Large Anonymous Games
Journal of Artificial Intelligence Research | 2011-05-04 | Paper |
Rational secret sharing and multiparty computation
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing | 2010-08-15 | Paper |
Intransitivity and vagueness
The Review of Symbolic Logic | 2010-08-13 | Paper |
Evidence with uncertain likelihoods
Synthese | 2010-03-09 | Paper |
Lexicographic probability, conditional probability, and nonstandard probability
Games and Economic Behavior | 2010-02-05 | Paper |
Reasoning about knowledge of unawareness
Games and Economic Behavior | 2009-11-13 | Paper |
DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
The Review of Symbolic Logic | 2009-11-12 | Paper |
ON DEFINABILITY IN MULTIMODAL LOGIC
The Review of Symbolic Logic | 2009-11-12 | Paper |
Intransitivity and Vagueness - Corrigendum
The Review of Symbolic Logic | 2009-11-12 | Paper |
A logic for reasoning about evidence
(available as arXiv preprint) | 2009-04-28 | Paper |
Characterizing and reasoning about probabilistic and non-probabilistic expectation
Journal of the ACM | 2008-12-21 | Paper |
A formal foundation for XrML
Journal of the ACM | 2008-12-21 | Paper |
A Knowledge-Based Analysis of Global Function Computation
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Interactive unawareness revisited
Games and Economic Behavior | 2008-04-28 | Paper |
Great expectations. I: On the customizability of generalized expected utility
Theory and Decision | 2008-04-09 | Paper |
Lower Bounds on Implementing Robust and Resilient Mediators
Theory of Cryptography | 2008-03-05 | Paper |
Plausibility measures and default reasoning
Journal of the ACM | 2008-02-11 | Paper |
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
Journal Of Logic And Computation | 2007-11-19 | Paper |
Probabilistic Algorithmic Knowledge
Logical Methods in Computer Science | 2007-10-11 | Paper |
Causes and Explanations: A Structural-Model Approach. Part I: Causes
The British Journal for the Philosophy of Science | 2006-04-28 | Paper |
Causes and Explanations: A Structural-Model Approach. Part II: Explanations
The British Journal for the Philosophy of Science | 2006-04-28 | Paper |
Great expectations. II: Generalized expected utility as a universal decision rule
Artificial Intelligence | 2006-02-07 | Paper |
| scientific article; zbMATH DE number 2243367 (Why is no real title available?) | 2006-01-04 | Paper |
| scientific article; zbMATH DE number 2243359 (Why is no real title available?) | 2006-01-04 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 2149446 (Why is no real title available?) | 2005-03-30 | Paper |
Complete Axiomatizations for Reasoning about Knowledge and Time
SIAM Journal on Computing | 2005-02-21 | Paper |
Reasoning about common knowledge with infinitely many agents
Information and Computation | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2046116 (Why is no real title available?) | 2004-02-23 | Paper |
On the NP-completeness of finding an optimal strategy in games with common payoffs
International Journal of Game Theory | 2003-11-23 | Paper |
A computer scientist looks at game theory.
Games and Economic Behavior | 2003-11-16 | Paper |
| scientific article; zbMATH DE number 2000824 (Why is no real title available?) | 2003-11-04 | Paper |
scientific article; zbMATH DE number 1946849 (Why is no real title available?)
(available as arXiv preprint) | 2003-07-07 | Paper |
Characterizing the common prior assumption.
Journal of Economic Theory | 2003-04-02 | Paper |
A nonstandard approach to the logical omniscience problem
Artificial Intelligence | 2003-02-04 | Paper |
The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
Artificial Intelligence | 2003-02-04 | Paper |
Levesque's axiomatization of only knowing is incomplete
Artificial Intelligence | 2003-02-04 | Paper |
Alternative semantics for unawareness
Games and Economic Behavior | 2002-09-30 | Paper |
Substantive rationality and backward induction
Games and Economic Behavior | 2002-09-30 | Paper |
Reasoning about noisy sensors and effectors in the situation calculus
Artificial Intelligence | 2002-07-24 | Paper |
Multi-agent only knowing
Journal of Logic and Computation | 2002-04-30 | Paper |
A characterization of eventual Byzantine agreement
SIAM Journal on Computing | 2002-04-23 | Paper |
On the unusual effectiveness of logic in computer science
The Bulletin of Symbolic Logic | 2001-09-10 | Paper |
On the unusual effectiveness of logic in computer science
The Bulletin of Symbolic Logic | 2001-09-10 | Paper |
Conditional plausibility measures and Bayesian networks
The Journal of Artificial Intelligence Research (JAIR) | 2001-07-31 | Paper |
Belief revision: A critique
Journal of Logic, Language and Information | 2000-12-06 | Paper |
| scientific article; zbMATH DE number 1467490 (Why is no real title available?) | 2000-07-25 | Paper |
Set-theoretic completeness for epistemic and conditional logic
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1391667 (Why is no real title available?) | 2000-01-24 | Paper |
Hypothetical knowledge and counterfactual reasoning
International Journal of Game Theory | 1999-11-01 | Paper |
Common knowledge revisited
Annals of Pure and Applied Logic | 1999-06-24 | Paper |
| scientific article; zbMATH DE number 1285154 (Why is no real title available?) | 1999-05-10 | Paper |
| scientific article; zbMATH DE number 1285156 (Why is no real title available?) | 1999-05-10 | Paper |
The hierarchical approach to modeling knowledge and common knowledge
International Journal of Game Theory | 1999-01-01 | Paper |
Performing Work Efficiently in the Presence of Faults
SIAM Journal on Computing | 1998-09-21 | Paper |
On the knowledge requirements of tasks
Artificial Intelligence | 1998-08-13 | Paper |
Modeling belief in dynamic systems. I: Foundations
Artificial Intelligence | 1998-06-30 | Paper |
| scientific article; zbMATH DE number 1149444 (Why is no real title available?) | 1998-05-13 | Paper |
scientific article; zbMATH DE number 1149433 (Why is no real title available?)
(available as arXiv preprint) | 1998-05-10 | Paper |
Dynamic fault-tolerant clock synchronization
Journal of the ACM | 1998-02-02 | Paper |
On ambiguities in the interpretation of game trees
Games and Economic Behavior | 1997-09-10 | Paper |
On the expected value of games with absentmindedness
Games and Economic Behavior | 1997-09-10 | Paper |
The relationship between knowledge, belief, and certainty
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
A theory of knowledge and ignorance for many agents
Journal of Logic and Computation | 1997-02-26 | Paper |
Should knowledge entail belief?
Journal of Philosophical Logic | 1996-12-11 | Paper |
Asymptotic Conditional Probabilities: The Unary Case
SIAM Journal on Computing | 1996-10-27 | Paper |
Asymptotic conditional probabilities: The non-unary case
Journal of Symbolic Logic | 1996-10-08 | Paper |
| scientific article; zbMATH DE number 795590 (Why is no real title available?) | 1995-09-11 | Paper |
Full abstraction and expressive completeness for FP
Information and Computation | 1995-07-10 | Paper |
Naming and Identity in Epistemic Logics Part I: The Propositional Case
Journal Of Logic And Computation | 1995-03-15 | Paper |
Reasoning about knowledge and probability
Journal of the ACM | 1995-02-13 | Paper |
A little knowledge goes a long way
Journal of the ACM | 1994-11-13 | Paper |
Zero-one laws for modal logic
Annals of Pure and Applied Logic | 1994-11-08 | Paper |
| scientific article; zbMATH DE number 517060 (Why is no real title available?) | 1994-10-19 | Paper |
A propositional modal logic of time intervals
Journal of the ACM | 1994-08-21 | Paper |
What can machines know?
Journal of the ACM | 1994-08-21 | Paper |
A model-theoretic analysis of knowledge
Journal of the ACM | 1994-08-21 | Paper |
Decidability and expressiveness for first-order logics of probability
Information and Computation | 1994-07-12 | Paper |
Knowledge, probability, and adversaries
Journal of the ACM | 1994-01-09 | Paper |
What is an inference rule?
Journal of Symbolic Logic | 1993-04-01 | Paper |
Message-optimal protocols for Byzantine Agreement
Mathematical Systems Theory | 1993-04-01 | Paper |
The Failure Discovery problem
Mathematical Systems Theory | 1993-04-01 | Paper |
| scientific article; zbMATH DE number 140397 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 140395 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 88991 (Why is no real title available?) | 1993-01-16 | Paper |
Two views of belief: Belief as generalized probability and belief as evidence
Artificial Intelligence | 1992-09-27 | Paper |
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence | 1992-09-27 | Paper |
Presburger arithmetic with unary predicates is <i>Π</i><sub>1</sub><sup>1</sup> complete
Journal of Symbolic Logic | 1992-06-27 | Paper |
scientific article; zbMATH DE number 19877 (Why is no real title available?)
(available as arXiv preprint) | 1992-06-26 | Paper |
A logic for reasoning about probabilities
Information and Computation | 1992-06-25 | Paper |
Clock synchronization and the power of broadcasting
Distributed Computing | 1992-06-25 | Paper |
Knowledge and common knowledge in a distributed environment
Journal of the ACM | 1990-01-01 | Paper |
An analysis of first-order logics of probability
Artificial Intelligence | 1990-01-01 | Paper |
Completeness of rewrite rules and rewrite strategies for FP
Journal of the ACM | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4185057 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4187137 (Why is no real title available?) | 1989-01-01 | Paper |
Reasoning about procedures as parameters in the language L4
Information and Computation | 1989-01-01 | Paper |
Modelling knowledge and action in distributed systems
Distributed Computing | 1989-01-01 | Paper |
The complexity of reasoning about knowledge and time. I: Lower bounds
Journal of Computer and System Sciences | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4145875 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4085005 (Why is no real title available?) | 1988-01-01 | Paper |
Belief, awareness, and limited reasoning
Artificial Intelligence | 1988-01-01 | Paper |
I'm OK if you're OK: On the notion of trusting commmunication
Journal of Philosophical Logic | 1988-01-01 | Paper |
A new look at fault-tolerant network routing
Information and Computation | 1987-01-01 | Paper |
A logic to reason about likelihood
Artificial Intelligence | 1987-01-01 | Paper |
On time versus space III
Mathematical Systems Theory | 1986-01-01 | Paper |
Cheating husbands and other stories: A case study of knowledge, action, and communication
Distributed Computing | 1986-01-01 | Paper |
“Sometimes” and “not never” revisited
Journal of the ACM | 1986-01-01 | Paper |
On the possibility and impossibility of achieving clock synchronization
Journal of Computer and System Sciences | 1986-01-01 | Paper |
Taken by surprise: the paradox of the surprise test revisited
Journal of Philosophical Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3930375 (Why is no real title available?) | 1985-01-01 | Paper |
Decision procedures and expressiveness in the temporal logic of branching time
Journal of Computer and System Sciences | 1985-01-01 | Paper |
Optimal precision in the presence of uncertainty
Journal of Complexity | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3858385 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3890703 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3848604 (Why is no real title available?) | 1983-01-01 | Paper |
Deterministic process logic is elementary
Information and Control | 1983-01-01 | Paper |
The propositional dynamic logic of deterministic, well-structured programs
Theoretical Computer Science | 1983-01-01 | Paper |
Effective Axiomatizations of Hoare Logics
Journal of the ACM | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3778723 (Why is no real title available?) | 1982-01-01 | Paper |
Axiomatic Definitions of Programming Languages
Journal of the ACM | 1982-01-01 | Paper |
Deterministic propositional dynamic logic: finite models, complexity, and completeness
Journal of Computer and System Sciences | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3729438 (Why is no real title available?) | 1981-01-01 | Paper |
