"Finite Information Logic"
"On Nonuniqueness in Transfinite Progressions." Journal of the Indian Mathematical Society (1967), 31:23-32.
"A Conservation Result." In W. A. J. Luxemburg, ed., Applications of Model Theeory to Algebra, Analysis, and Probability, pp. 106-108. International Symposium on the Applications of Model Theory to Algebra, Analysis, and Probability, California Institute of Technology, 1967. New York: Holt, Rinehart and Winston 1969.
"A Nonstandard Theory of Topological Groups." In W. A. J. Luxemburg, ed., Applications of Model Theeory to Algebra, Analysis, and Probability, pp. 106-108. International Symposium on the Applications of Model Theory to Algebra, Analysis, and Probability, California Institute of Technology, 1967. New York: Holt, Rinehart and Winston 1969.
"Existence and Feasibility in Arithmetic." Journal of Symbolic Logic (September 1971), 36(3):494-508.
(with D. H. J. de Jongh, and N. Goodman.) "Regular Structures with Classical Theories." Journal of Symbolic Logic (1972), 37(4):777.
"Note on Paths Through O." Proceedings of the American Mathematical Society (1973), 39:178-180.
(with Milton Parnes.) "Conditional Probabilities and Uniform Sets." In Albert Hurd and Peter Loeb, eds., Victoria Symposium on Nonstandard Analysis, University of Victoria, 1972, pp. 180-194. Lecture Notes in Mathematics, 369. Berlin & New York: Springer, 1974.
Edited. Logic Colloquium: Symposium on Logic held at Boston, 1972-73. Lecture Notes in Mathematics, 453. Berlin & New York: Springer, 1975.
"An No-Categorical Theory Whose Language is Countably Infinite." Proceedings of the American Mathematical Society (1974), 49:216-218.
(with D.H. J. de Jongh.) "Well-Partial Orderings and Hierarchies."Proceedings of the Koninklijke Nederlandse Akademie Van Wetenschappen Series A-Mathematical Sciences [Indagationes Mathematicae] (1977), 39(3) [80]:195-207.
"The Completeness of Propositional Dynamic Logic." In J. Winkowski, ed., Mathematical Foundations of Computer Science, 1978: Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978, pp. 403-415. Lecture Notes in Computer Science, 64. Berlin & New York: Springer, 1978.
"A Decidability Result for a Second Order Process Logic." Sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing." In 19th Annual Symposium on Foundations of Computer Science, Oct. 16-18, 1978, Ann Arbor, Michigan, pp. 177-183. New York: Institute of Electrical and Electronics Engineers; Long Beach, Calif.: IEEE Computer Society, 1978.
(with Albert R. Meyer.)
"Definability in Dynamic Logic." Conference Record
of the Annual ACM Symposium on Theory of Computing, pp. 1-7.
Baltimore, Md.: ACM, 1980.
Conference Proceedings of the
12th Annual ACM Symposium on Theory of Computing, Papers
Presented at the Symposium, Los Angeles, Calif, April 28-30,
1980.
"Effectiveness." Philosophical Forum (Fall 1980), 12(1):68-81.
(with David Harel and Dexter Kozen.) "Process Logic: Expressiveness, Decidability, Completeness." Sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing. In 21st Annual Symposium on Foundations of Computer Science: Oct. 13-15, 1980, Syracuse, New York, pp. 129-142. New York: IEEE, 1980.
(with Albert R. Meyer.) "Definability in Dynamic Logic." Journal of Computer & System Sciences (1981), 23(2):279-298.
(wwith Dexter Kozen.) "An Elementary Proof of the Completeness of PDL." Theoretical Computer Science (1981), 14(1):113-118.
Propositional Dynamic Logics of Programs: A Survey." With a section by Dexter Kozen. In Erwin Engeler, ed., Logic of Programs: Workshop, ETH Zurich, May-July 1979, pp. 102-144. Lecture Notes in Computer Science, 125. Berlin & New York: Springer, 1981.
(with David Harel and Dexter Kozen.) "Process Logic: Expressiveness, Decidability, Completeness." Journal of Computer & System Sciences (October 1982), 25(2):144-170.
"Some Applications of Topology to Program Semantics." In Dexter Kozen, ed., Logics of Programs Workshop, Yorktown Heights, New York, May 1981, pp. 375-386. Lecture Notes in Computer Science, 131. Berlin & New York: Springer, 1982.
"The Problem of Vague Predicates." Boston Studies in the Philosophy of Science (1983), 31:241-261.
"Propositional Game
Logic." Annual Symposium on Foundations of Computer
Science Proceedings 24th, pp. 195-200. Piscataway, NJ: IEEE
Service Center, 1983.
24th Annual Symposium on Foundations of Computer Science,
Tucson, Ariz, November 7-9, 1983.
"Propositional Logics of Programs: New Directions." In Marek Karpinski, ed., Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983, pp. 347-359. Lecture Notes in Computer Science, 158. Berlin & New York: Springer, 1983.
"Some Applications of Topology to Program Semantics." Mathematical Systems Theory (May 1983), 16(2):111-131.
(with Dexter Kozen.) "A Decision Procedure for Propositional $µ$-Calculus." In Edmund Clarke and Dexter Kozen, eds., Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983, pp. 313-325. Lecture Notes in Computer Science, 164. Berlin & New York: Springer, 1984.
"Logics of Knowledge, Games and Dynamic Logic." In Mathai Joseph and Rudraratna Shyamasundar, eds., Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India, Dec. 13-15, 1984, Proceedings, pp. 202-222. Lecture Notes in Computer Science, 181. Berlin & New York: Springer, 1984.
(with Anne Mahoney.) "A Theory of Probablistic Programs." In Edmund Clarke and Dexter Kozen, eds., Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983, pp. 395-402. Lecture Notes in Computer Science, 164. Berlin & New York: Springer, 1984.
(with R. Ramunajan.) "Distributed Processes and the Logic of Knowledge." In Rohit Parikh, ed., Logics of Programs: Brooklyn, June 17-19, 1985: Proceedings, pp. 256-268. Lecture Notes in Computer Science, 193. Berlin & New York: Springer, 1985.
(with Ashok Chandra, Joe Halpern, and Albert Meyer.) "Equations between Regular Terms and an Application to Process Logic." SIAM Journal on Computing (November 1985), 14(4):935-942.
"The Logic of Games." Annals of Discrete Mathematics (1985), 24:111-140.
"The Logic of Games and Its Applications." In Marek Karpinski and Jan van Leeuwen, eds., Topics in the Theory of Computation: Selected Papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983, pp. 111-139. Annals of Discrete Mathematics, 24. North-Holland Mathematics Studies, 102. Amsterdam & New York: North-Holland/Elsevier Science, 1985.
Edited. Logics of Programs: Brooklyn, June 17-19, 1985: Proceedings. Lecture Notes in Computer Science, 193. Berlin & New York: Springer, 1985.
"Levels of Knowledge in Distributed Computing." Proceedings of the Symposium on Logic in Computer Cambridge, MA, June 16-18, 1986, pp. 314-321. Washington, DC: IEEE Comput. Soc. Press, 1986.
"Knowledge and the Problem of Logical Omniscience." In Zbigniew W. Ras and Maria Zemankova, eds., Methodologies for Intelligent Systems, pp. 432-439. Proceedings of the Second International Symposium, Charlotte, NC, October 14-17, 1987, Methodologies for Intelligent Systems. New York: North-Holland, 1987.
"Some Recent Applications of Knowledge." In K.V. Nori, ed.,FST&TCS 7: Foundations of Software Technology and Theoretical Computer Science. Seventh Conference Proceedings, Pune, India, 17-19 Dec. 1987, pp. 528-539. Berlin: Springer, 1987.
(with Paul Krasucki.) "Communication, Consensus, and Knowledge." Journal of Economic Theory (October 1990), 52(1):178-189.
"Recent Issues in Reasoning about Knowledge." In Rohit Parikh, ed., Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Third Conference (TARK 1990), March 4-7, 1990, Pacific Grove, California, pp. 3-10. The Morgan Kaufmann Series in Representation and Reasoning. San Mateo, Calif.: Morgan Kaufmann, 1990.
Edited. Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Third Conference (TARK 1990), March 4-7, 1990, Pacific Grove, California. The Morgan Kaufmann Series in Representation and Reasoning. San Mateo, Calif.: Morgan Kaufmann, 1990.
"The Effect of AI on
Other Fields of Research." Conference Proceedings -
Annual Phoenix Conference, pp. 848-849. Piscataway, NJ:
IEEE Service Center, 1991.
Proceedings of the 10th Annual
International Phoenix Conference on Computers and
Communications. Scottsdale, AZ, March 27-30, 1991.
"Monotonic and Non-Monotonic Logics of Knowledge." Fundamenta Informaticae (November-December 1991), 15(3-4):255-274.
Special Issue - Selections from 1989 IEEE Symposium on Logic in Computer Science - Preface. Information and Computation (July 1991), 93(1):R3.
"Finite and Infinite Dialogues." In Y.N. Moschovakis, ed., Logic from Computer Science: Proceedings of a Workshop held November 13-17, 1989, pp. 481-497. Mathematical Sciences Research Institute Publications, 21. New York: Springer, 1992.
(with Paul Krasucki.) "Levels of Knowledge in Distributed Systems." Sadhana-Academy Proceedings in Engineering Sciences (March 1992), 17:167-191.
"Vagueness and Utility, the Semantics of Common Nouns." Linguistics and Philosophy (December 1994), 17 (6):521-535.
"How Far Can We Formalize Language Games?" Vienna Circle Institute Yearbook (1995), 3:89-100.
"Logical Omniscience." In Daniel Maurice Raphaël Leivant, ed., Logic and Computational Complexity : International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994: Selected Papers, pp. 22-29. Lecture Notes in Computing Science, 960. Berlin & New York: Springer, 1995.
(with Kamal Lodaya, R. Ramanujam, and P.S. Thiagarajan.) "A Logical Study of Distributed Transition Systems." Iinformation and Computation (May 15, 1995), 119(1):91-118.
"Computation." In Encyclopedia of Philosophy, Supplement, pp. 86-87. New York: Macmillan, 1996.
"Some Reminiscences of Kreisel." In Piergiorgio Odifreddi, ed., Kreiseliana: About and Around Georg Kreisel, pp. 89-96. Wesllesley, Mass.: A. K. Peters, 1996.
(with Andrew Dabrowski and Lawrence S. Moss.) "Topological Reasoning and the Logic of Knowledge." Annals of Pure and Applied Logic (April 4, 1996), 78 (1-3):73-110.
"Vague Predicates and Language Games." Theoria [Spain] (1996), 11(27):97-107.
"Church's Theorem and the Decision Problem." In Routledge Encyclopedia of Philosophy, Vol. 2, pp. 349-351. London &New York: Routledge, 1998.
"Length and Structure of
Proofs." Synthese (January 1998), 114(1):41-48.
This issue is entitled
"Godel 1," and edited by Jaakko Hintikka.
"Propositions, Propositional Attitudes and Belief Revision." In Marcus Kracht, ed., Advances in Modal Logic, Vol. 2, pp. . CSLI Lecture Notes, #87, 119. Stanford, Calif: CSLI Publications, 1998.
"Beliefs, belief Revision, and Splitting Languages." In Lawrence S. Moss, Jonathan Ginzburg, Maarten de Rijke, eds., Logic, Language and Computation, Vol. 2, pp. 266-278. CSLI Lecture Notes, 58, 96. Stanford, CA: CSLI, 1999.
(with Samir Chopra.) "An Inconsistency Tolerant Model for Belief Representation and Belief Revision." International Joint Conference on Artificial Intelligence (1999), 16(1):192-199,
(with Samir Chopra.) "Relevance Sensitive Belief Structures." Annals of Mathematics and Artificial Intelligence (2000), 28 (1-4):259-285.
Review of Uwe Schöning and Randall J. Pruim's Gems of Theoretical Computer Science. Journal of Logic Language and Information (2000), 9(1):131-132.
(with Samir Chopra and Renata Wassermann.) "Approximate Belief Revision." Logic Journal IGPL (2001), 9(6):755-768.
"Language as Social Software." In Juliet Floyd and Sanford Shieh, eds.,Future Pasts: The Analytic Tradition in Twentieth-Century Philosophy, pp. 339-350. Oxford & New York: Oxford University Press, 2001.
"Propositions, Propositional Attitudes and Belief Revision." In Marcus Kracht, ed., Advances in Modal Logic, Vol. 2, pp. 381-400. CSLI Lecture Notes, 119. Stanford, CA: CSLI Publications, 2001.
(with Samir Chopra and K. Georgatos.) "Relevance Sensitive Non-Monotonic Inference on Belief Sequences." Journal of Applied Nonclassical Logics (2001), 11(1/2):131-150.
(with Laxmi Parida and Vaughan Pratt.) "Sock Sorting: An Example of a Vaue Algorithm." Logic Journal IGPL (2001), 9(5):687-692.
Copyright © All rights reserved. Regents of the University
of California.