Access the full text.
Sign up today, get DeepDyve free for 14 days.
Alexander Bochman (1988)
Nonmonotonic Reasoning
(1989)
Notes on interactive epistemology. Cowles Foundation for Research in Economics working paper
J.Y. Halpern, M.Y. Vardi (1991)
Artificial Intelligence and Mathematical Theory of Computation (Papers in Honor of John McCarthy)
R.C. Stalnaker (1968)
Studies in Logical Theory
N. Friedman, Joseph Halpern (1996)
Plausibility measures and default reasoningArXiv, cs.AI/9808007
Y. Moses (1992)
Theoretical aspects of reasoning about knowledge : proceedings of the fourth conference (TARK 1992), March 22-25, 1992, Monterey, California
J. Bell, A. Slomson (1969)
Models and Ultraproducts: An Introduction.
N. Malcolm (1952)
Knowledge and Belief
R.C. Stalnaker, R. Thomason (1970)
A semantical analysis of conditional logicTheoria, 36
(1968)
A theory of conditionals Studies in logical theory, Number 2 in American Philosophical Quarterly monograph series
(1981)
Also appears in Ifs
Joseph Halpern (1989)
An Analysis of First-Order Logics of ProbabilityArtif. Intell., 46
N. Friedman, J.Y. Halpern (1994)
Principles of Knowledge Representation and Reasoning: Proc. 4th International Conference (KR '94)
(1974)
Slomson, Models and Ultraproducts: An Introduction (3rd revised ed.) (North- Holland/American
I. Kvart (1992)
CounterfactualsErkenntnis, 36
J. Pearl (1995)
Computational Learning and Probabilistic Reasoning
R.C. Stalnaker (1992)
Theoretical Aspects of Reasoning about Knowledge: Proc. 4th Conference
N. Friedman, Joseph Halpern, D. Koller (1996)
First-Order Conditional Logic RevisitedArXiv, cs.AI/9808005
J. Burgess (1981)
Quick completeness proofs for some logics of conditionalsNotre Dame J. Formal Log., 22
Craig Boutilier (1994)
Conditional Logics of Normality: A Modal ApproachArtif. Intell., 68
Joseph Halpern, Moshe Vardi (1991)
Model Checking vs. Theorem Proving: A Manifesto
Burch, E. Clarke, D. Dill, L. Hwang, K. McMillan, Symbolic (1993)
Automatic Veriication of Nite-state Concurrent Systems Using Temporal-logic Speciications. Acm
(1996)
Conditional rst-order logic revisited
Joseph Halpern (1996)
Defining Relative Likelihood in Partially-Ordered Preferential Structures
E. Clarke, E. Emerson, A. Sistla (1986)
Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Trans. Program. Lang. Syst., 8
Ronald Fagin, Joseph Halpern, N. Megiddo (1988)
A logic for reasoning about probabilities[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science
Paul Milgrom (1981)
AN AXIOMATIC CHARACTERIZATION OF COMMON KNOWLEDGEEconometrica, 49
J. Pearl (1996)
Causation, Action and Counterfactuals
N. Friedman, Joseph Halpern (1994)
On the Complexity of Conditional Logics
Robert Stalnaker (1992)
Notes on Conditional Semantics
Ronald Fagin (1995)
Reasoning about knowledge
Sarit Kraus, D. Lehmann, M. Magidor (1990)
Nonmonotonic Reasoning, Preferential Models and Cumulative LogicsArXiv, cs.AI/0202021
F. Kutschera (1993)
CausationJournal of Philosophical Logic, 22
The standard approach to logic in the literature in philosophy and mathematics, which has also been adopted in computer science, is to define a language (the syntax), an appropriate class of models together with an interpretation of formulas in the language (the semantics), a collection of axioms and rules of inference characterizing reasoning (the proof theory), and then relate the proof theory to the semantics via soundness and completeness results. Here we consider an approach that is more common in the economics literature, which works purely at the semantic, set-theoretic level. We provide set-theoretic completeness results for a number of epistemic and conditional logics, and contrast the expressive power of the syntactic and set-theoretic approaches.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Sep 30, 2004
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.