| 1992 | Kleene Automata and Recursion Theory. | John Mullins |
| 1992 | Minimal Negation and Hereditary Harrop Formulae. | Alberto Momigliano |
| 1992 | Partial Algebra + Order-Sorted Algebra = Galactic Algebra. | Aristide Mgrelis |
| 1992 | MSL - A Mathematical Specification Language. | V. P. Makarov |
| 1992 | A Unifying Theory of Dependent Types: The Schematic Approach. | Zhaohui Luo |
| 1992 | An Interval-Based Modal Logic for System Specification. | Renwei Li, Jos Carmo |
| 1992 | Constructive Specifications of Abstract Data Types Using Temporal Logic. | Frank Leke |
| 1992 | Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications. | Kevin Lano |
| 1992 | Typed lamda-Calculus with Recursive Definitions. | Sergey V. Kotov |
| 1992 | The Polynominal Complexity of Conjunctive Normal Form Satisfiability, when the Number of Conjunctions and Negations is Limited. | Nikolai K. Kossovsky, A. B. Prokhoroff |
| 1992 | A Categorical Interpretation of Partial Function Logic and Hoare Logic. | Peter M. W. Knijnenburg, Frank Nordemann |
| 1992 | Ordering Optimizations for Concurrent Logic Programs. | Andy King, Paul Soper |
| 1992 | Non-Stable Models of Linear Logic. | Raymond Hoofman |
| 1992 | Graded Modalities in Epistemic Logic. | Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1992 | Balanced Formulas, BCK-Minimal Formulas and Their Proofs. | Sachio Hirokawa |
| 1992 | Banishing Robust Turing Completeness. | Lane A. Hemachandra, Sanjay Jain, Nikolai K. Vereshchagin |
| 1992 | A Constructive Proof that Trees Are Well-Quasi-Ordered Under Minors. | Arvind Gupta |
| 1992 | Denotations for Classical Proofs - Preliminary Results. | Philippe de Groote |
| 1992 | Intensionally Stable Functions. | B. Gamatie |
| 1992 | Automated Deduction in Additive and Multiplicative Linear Logic. | Didier Galmiche, Guy Perrier |
| 1992 | Many-Valued Non-Monotonic Modal Logics. | Melvin Fitting |
| 1992 | Continuous I-Categories. | Abbas Edalat |
| 1992 | Ordinal Arithmetic with List Structures. | Nachum Dershowitz, Edward M. Reingold |
| 1992 | A Logical Characterization of Asynchronously Communicating Agents. | Sren Christensen |
| 1992 | An Interleaving Model for Real-Time Systems. | Liang Chen |