Rule-Governed Linguistic Behavior. The Hague: Mouton, 1972.
Reviews: Linguistics,
160 (1975), 117-9; Mind, 85 (1976), 467-470; and Cognition
and Brain Theory
Newsletter, 3 (1980), 114-5.
Evolving Theories. New York: Haven, 1979.
Review: Journal
of Symbolic Logic ( JSL), 47 (1982), 454-6.
Essays in Epistemology and Semantics ( EES), edited with Hugues Leblanc. New York: Haven, 1983.
Programming Logics: An Introduction to Verification and Semantics
(PL). New York: John Wiley and Sons, Inc., 1989.
Reviews: Computing
Reviews, 1990, 9008-0639, Mathematical
Reviews, 1991, 91c:68085;
and Science of Computer Programming, 13 (1990), 266-7.
The Inapplicability of the Dictionary-Encyclopedia Distinction to
the Semantics of Natural
Languages, Information Storage and Retrieval, 6 (1971),
445-452.
Language Extensibility in Extended FORTRAN: Data Types and Pointer
Variables, ACM
SIGCSE Bulletin,
9
(1977), 53-4.
A Mechanized Proof Procedure for Free Intensional Logics,
Proceedings of the 5th
International Joint Conference on
Artificial Intelligence, 1977, v. 1, 567.
Logical Techniques for Pinpointing Inconsistencies in the Knowledge
Base, written with Mary Ann Gumb,
Proceedings of the 41st Annual Conference of the American
Society for Information Science, 1978, 150-1.
Metaphor Theory, Reports on Mathematical Logic, 10 (1978), 51-60.
The Completeness of Presupposition-Free Tense Logic, written
with Robert
F. Barnes, Zeitschrift
für
Mathematische
Logik und Grundlagen der Mathematik ( ZMLGM), 25 (1979),
193-208. Abstract in JSL,
42 (1977), 146-7.
An Extended Joint Consistency Theorem for Free Logic with Equality,
Notre
Dame Journal of Formal Logic,
20 (1979), 321- 335. Abstract in JSL, 42 (1977), 146.
An Explication of the Notion of a Consistent Evolving Theory, Logique et Analyse, 24 (1981), 113-127.
Reasonable Breadth-Biased A* Algorithms, ACM SIGART Newsletter ( SIGART), 73 (1981), 12-3.
First-Order Properties of Relations with the Monotonic Closure Property,
written with George
Weaver,
ZMLGM, 28 (1982), 1-5. Abstracts in JSL, 46 (1981), 682-3,
and in Proceedings of the 1978 ACM
Computer Science Conference ( ACMCSC), 19.
On the Underlying Logics of Specification Languages, ACM Software Engineering Notes, 4 (1982), 21-3.
Soundness and Completeness Proofs for Three Brands of Intuitionistic
Logic, written with Hugues Leblanc,
EES, 1983, 163-197. Abstract in JSL, 46 (1981), 201-2.
Comments on Probabilistic Semantics, EES, 1983, 72-8.
The Craig-Lyndon Interpolation Lemma for (Free) Intuitionistic Logic
with Equality, EES, 1983, 210-5.
Abstract in Proceedings of the 6th International Congress of Logic,
Methodology and Philosophy of
Science, 1979, sec. 1-4, 31-5.
A Translation of (Free) Intuitionistic Logic with Equality into Free
S4 with Equality and Increasing Domains,
EES, 1983, 215-220. Abstract in JSL, 48 (1983), 508-9.
An Extended Joint Consistency Theorem for a Family of Free Modal
Logics with Equality, JSL, 49 (1984),
174-183. Abstract in JSL, 46 (1981), 435-6.
Conservative Kripke Closures, Synthese, 60 (1984), 39-49.
Reprinted in H. Leblanc et al., eds.,
Foundations: Logic, Language, and Mathematics, Dordrecht, Reidel,
1984.
Free Intuitionistic Logic and its S4 Counterpart, Logique
et Analyse (Special issue
Automated Reasoning in Nonclassical Logics, L. Fariñas
and E. Orlowska, eds.), 28 (1985), 283-294.
Popperian Conditional Probability Functions for Expert Systems,
Proceedings
of the First New Mexico
Computer Science Conference, 1985, Socorro, NM, 1-5. Abstract
in 1986 ACMCSC, 461.
Filming a Terrain Under Uncertainty
Using Temporal and Probabilistic Reasoning,
Proceedings
of the Sixth National Conference on Artificial Intelligence, 1987,
v. 1, 116-120.
The Final Report for Sandia National Laboratories research grant 95-2931
available under the same title as CSR 172,
Computer Science Department, New Mexico Tech, Socorro, NM, August,
1986.
A First Course in Program Verification
and the Semantics of Programming Languages,
Proceedings
of the 1989 ACM SIGCSE Symposium, 146-150.
Free Logic in Program Specification and Verification, in E. Morscher
and Alexander Hieke, eds., New
Directions in Free Logic: In Honour of Karel Lambert, Kluwer
Academic Publishers, Dordrecht, 2001,
pp. 157-193. (Written in 1993, derived from material in PL.)
Definitions in Nonstrict Positive Free
Logic (corrected), written with Karel
Lambert, Modern Logic,
7 (1997), 25-55
and 435-440 (errata). Also appeared as Stanford
University Center for the Study of Language and Information
Technical Report CSLI-96-199. Abstract in Bulletin
of Symbolic Logic ( BSL), 3 (1997), p. 384.
A Free Logical Foundation for Nonstrict
Functions, written with Karel Lambert, Proceedings
of the CADE-13
Workshop
on the Mechanization of Partial Functions, 1996, 39-46.
Model Sets in a Nonconstructive Logic
of Partial Terms with Definite Descriptions (corrected)
in Roy Dyckoff, ed., Automated Reasoning with Analytic Tableaux
and Related Methods,
International Conference, TABLEAUX
2000, St Andrews, Scotland, UK, July 2000
Proceedings, Springer
Verlag, Lecture Notes in Artificial Intelligence, LNCS 1847, Berlin,
pp. 268-278.
An Extended Joint Consistency Theorem
for a Nonconstructive Logic of Partial Terms with Definite
Descriptions (corrected),
Studia
Logica, 69 (2001), 279-292.
The Lazy Logic of Partial Terms, JSL, forthcoming.
Review of V. Jr. Rozencvejg, ed., Essays on Lexical Semantics,
American
Journal of Computational Linguistics
( AJCL), 1976, microfiche 51, 68-76.
Summary of Research on Computational Aspects of Evolving Theories,
SIGART, 67 (1978), 13; AJCL, 1979,
microfiche 77; SISTM Quarterly, Brain Theory Newsletter, 2 (1979),
5-6.
Programs for Free Logic (abstract), JSL, 48 (1983), 903.
On a Version of the Compactness Theorem for Evolving Theories
(abstract), Abstracts of Papers Presented to
the American Mathematical Society,
4 (1983), 5.
Free Logic is a Natural Logic (abstract), 1989 ACMCSC, 466.
Free Arithmetic (abstract), JSL, 59 (1994), 717-718.
A Free Theory of Types (abstract), BSL, 1 (1995), 382.
Review of Robert W. Floyd and
Richard Beigel, The language of machines. An introduction to computability
and
formal languages, JSL, 61
(1996), 701-703.
Does Identity Precede Existence?
(abstract),
Abstracts of Papers Presented to the Twentieth
World
Congress of Philosophy,
1998, p. 86.
Some Remarks on Negative Free
Logic (abstract), Volume of Abstracts, 11th
International Congress of
Logic, Methodology,
and Philosophy of Science, 1999, p. 83.
Obituaries of Hugues Leblanc
for the Society for Exact Philosophy,
the
Philosophy News Service,
and
the Association for Symbolic Logic (BSL, 6 (2000), 230-231).
The Lazy Logic of Partial Terms
(abstract),
BSL, 6 (2000), 246-247. (Preliminary version and
not an abstract
for the later JSL paper by the same title.)
Review of G. Aldo Antonelli, Proto-semantics for positive free logic, BSL, 7 (2001), 531-532.