1: \begin{thebibliography}{CWTHR01}
2:
3: \bibitem[Ada86]{a86}
4: Ernest~W. Adams.
5: \newblock On the logic of high probability.
6: \newblock {\em J. Philos. Logic}, 15(3):255--279, 1986.
7:
8: \bibitem[Boo57]{b57}
9: George Boole.
10: \newblock {\em An investigation of the laws of thought, on which are founded
11: the mathematical theories of logic and probabilities}.
12: \newblock Dover Publications, Inc., New York, 1957.
13:
14: \bibitem[Cal87]{c87}
15: Philip~G. Calabrese.
16: \newblock An algebraic synthesis of the foundations of logic and probability.
17: \newblock {\em Inform. Sci.}, 42(3):187--237, 1987.
18:
19: \bibitem[Cal90]{C90}
20: Philip~G. Calabrese.
21: \newblock Reasoning with uncertainity using conditional logic and probability.
22: \newblock In {\em Proc. First International Symposium on Uncertainity Modeling
23: and Analysis by IEEE Computer Society}, pages 682--688. IEEE, 1990.
24:
25: \bibitem[Cal94]{c94}
26: Philip~G. Calabrese.
27: \newblock A theory of conditional information with applications.
28: \newblock {\em IEEE Trans. Systems Man Cybernet.}, 24(12):1676--1684, 1994.
29: \newblock Special issue on conditional event algebra (San Diego, CA, 1992).
30:
31: \bibitem[Cal97]{c97}
32: Philip~G. Calabrese.
33: \newblock Conditional events: doing for logic what fractions do for integer
34: arithmetic.
35: \newblock Presented at the International Conference on the Notion of Event in
36: Probabilistic Epistemology, University of Trieste, Italy, May 1996, 1997.
37:
38: \bibitem[CWTHR01]{SAC-GNW}
39: Piotr Chrz\c{a}stowski-Wachtel, Jerzy Tyszkiewicz, Achim Hoffmann, and Arthur
40: Ramer.
41: \newblock Mutual definability of connectives in conditional event algebras of
42: {S}chay-{A}dams-{C}alabrese and {G}oodman-{N}guyen-{W}alker.
43: \newblock {\em Information Processing Letters}, 79(4):155--160, 2001.
44:
45: \bibitem[dF72]{d72}
46: Bruno de~Finetti.
47: \newblock {\em Probability, induction and statistics. {T}he art of guessing}.
48: \newblock John Wiley \& Sons, London-New York-Sydney, 1972.
49: \newblock Wiley Series in Probability and Mathematical Statistics.
50:
51: \bibitem[Eme90]{Emerson}
52: E.~Allen Emerson.
53: \newblock Temporal and modal logic.
54: \newblock In {\em Handbook of theoretical computer science, Vol.\ B}, pages
55: 995--1072. Elsevier, Amsterdam, 1990.
56:
57: \bibitem[ES94]{es94}
58: Ellery Eells and Brian Skyrms, editors.
59: \newblock {\em Probability and conditionals}.
60: \newblock Cambridge University Press, Cambridge, 1994.
61: \newblock Belief revision and rational decision.
62:
63: \bibitem[Fel68]{feller1}
64: William Feller.
65: \newblock {\em An introduction to probability theory and its applications.
66: {V}ol. {I}}.
67: \newblock John Wiley \& Sons, Inc., New York-London-Sydney, third edition,
68: 1968.
69:
70: \bibitem[Fou]{recenzja}
71: D.J. Foulis.
72: \newblock Mathematical {R}eviews, review 95j:03038 of \cite{g94}.
73:
74: \bibitem[GGNR91]{g91}
75: I.~R. Goodman, M.~M. Gupta, H.~T. Nguyen, and G.~S. Rogers, editors.
76: \newblock {\em Conditional logic in expert systems}.
77: \newblock North-Holland Publishing Co., Amsterdam, 1991.
78:
79: \bibitem[GMN97]{kniga}
80: I.~R. Goodman, Ronald P.~S. Mahler, and Hung~T. Nguyen.
81: \newblock {\em Mathematics of data fusion}.
82: \newblock Kluwer Academic Publishers Group, Dordrecht, 1997.
83:
84: \bibitem[GN95]{gn96}
85: I.~R. Goodman and H.~T. Nguyen.
86: \newblock Mathematical foundations of conditionals and their probabilistic
87: assignments.
88: \newblock {\em Internat. J. Uncertain. Fuzziness Knowledge-Based Systems},
89: 3(3):247--339, 1995.
90:
91: \bibitem[GNW91]{gnw91}
92: I.~R. Goodman, H.~T. Nguyen, and E.~A. Walker.
93: \newblock {\em Conditional inference and logic for intelligent systems}.
94: \newblock North-Holland Publishing Co., Amsterdam, 1991.
95: \newblock A theory of measure-free conditioning.
96:
97: \bibitem[Goo87]{g87}
98: Irwin~R. Goodman.
99: \newblock A measure-free approach to conditioning.
100: \newblock In {\em Proc. Third AAAI Workshop on on Uncert. in AI}, pages
101: 270--277. University of Washington, Seattle, 1987.
102:
103: \bibitem[Goo94]{g94}
104: I.~R. Goodman.
105: \newblock Toward a comprehensive theory of linguistic and probabilistic
106: evidence: two new approaches to conditional event algebra.
107: \newblock {\em IEEE Trans. Systems Man Cybernet.}, 24(12):1685--1698, 1994.
108: \newblock Special issue on conditional event algebra (San Diego, CA, 1992).
109:
110: \bibitem[Heu95]{H}
111: Peter Heusch.
112: \newblock The complexity of the falsifiability problem for pure implicational
113: formulas.
114: \newblock In {\em Mathematical foundations of computer science 1995 (Prague)},
115: pages 221--226. Springer, Berlin, 1995.
116:
117: \bibitem[HU79]{HU}
118: John~E. Hopcroft and Jeffrey~D. Ullman.
119: \newblock {\em Introduction to automata theory, languages, and computation}.
120: \newblock Addison-Wesley Publishing Co., Reading, Mass., 1979.
121: \newblock Addison-Wesley Series in Computer Science.
122:
123: \bibitem[KS76]{KS}
124: John~G. Kemeny and J.~Laurie Snell.
125: \newblock {\em Finite {M}arkov chains}.
126: \newblock Springer-Verlag, New York-Heidelberg, 1976.
127: \newblock Reprinting of the 1960 original, Undergraduate Texts in Mathematics.
128:
129: \bibitem[Lew76]{l76}
130: D.~Lewis.
131: \newblock Probabilities of conditionals and conditional probabilities.
132: \newblock {\em Philos. Review}, 85:297--315, 1976.
133:
134: \bibitem[Pea88]{p88}
135: Judea Pearl.
136: \newblock {\em Probabilistic reasoning in intelligent systems: networks of
137: plausible inference}.
138: \newblock Morgan Kaufmann, San Mateo, CA, 1988.
139:
140: \bibitem[Sch68]{MR37:5901}
141: Geza Schay.
142: \newblock An algebra of conditional events.
143: \newblock {\em J. Math. Anal. Appl.}, 24:334--344, 1968.
144:
145: \bibitem[TRH01]{TT}
146: Jerzy Tyszkiewicz, Arthur Ramer, and Achim Hoffmann.
147: \newblock The temporal calculus of conditional objects and conditional events.
148: \newblock Submitted, 2001.
149:
150: \bibitem[vF77]{v77}
151: Bas~C. van Fraassen.
152: \newblock Probabilities of conditionals.
153: \newblock In {\em Foundations of probability theory, statistical inference, and
154: statistical theories of science (Proc. Internat. Res. Colloq., Univ. Western
155: Ontario, London, Ont., 1973), Vol. I}, pages 261--308. Univ. Western Ontario,
156: Ser. Philos. Sci., Vol. 6. Reidel, Dordrecht, 1977.
157:
158: \end{thebibliography}
159: