| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7503170 (Why is no real title available?) | 2022-04-04 | Paper |
| scientific article; zbMATH DE number 7215075 (Why is no real title available?) | 2020-06-25 | Paper |
| ``I asked you to mail that letter, not to burn it,'' an illocutionary logical analysis of directive acts and arguments | 2019-07-24 | Paper |
| scientific article; zbMATH DE number 6787704 (Why is no real title available?) | 2017-10-06 | Paper |
| First-person logical theories and third-person logical theories | 2017-10-06 | Paper |
| Logics of fact and fiction, where do possible worlds belong? | 2013-05-15 | Paper |
| Affirmation and denial, judgments of composition and of division | 2013-04-24 | Paper |
Two concepts of opposition, multiple squares Around and Beyond the Square of Opposition | 2013-04-11 | Paper |
| What is natural about natural deduction | 2012-11-16 | Paper |
| Using illocutionary logic to understand vagueness | 2010-03-10 | Paper |
An illocutionary logical explanation of the liar paradox History and Philosophy of Logic | 2007-03-30 | Paper |
An Illocutionary Logical Explanation of the Surprise Execution History and Philosophy of Logic | 2001-12-05 | Paper |
Propositional logic of supposition and assertion Notre Dame Journal of Formal Logic | 1999-01-19 | Paper |
Leśniewski's strategy and modal logic Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
A more satisfactory description of the semantics of justification Notre Dame Journal of Formal Logic | 1981-01-01 | Paper |
Modal semantics without possible worlds Journal of Symbolic Logic | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3663100 (Why is no real title available?) | 1979-01-01 | Paper |
The Strong Completeness of a System for Kleene's Three‐Valued Logic Mathematical Logic Quarterly | 1979-01-01 | Paper |
Three substitution-instance interpretations Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
Intuitionist logic, a logic of justification Studia Logica | 1978-01-01 | Paper |
The Logic of Calculation Mathematical Logic Quarterly | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3547248 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3482296 (Why is no real title available?) | 1974-01-01 | Paper |
The completeness of combinatory logic with discriminators Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
The completeness of combinatory logic with discriminators Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
Two views of variables Notre Dame Journal of Formal Logic | 1969-01-01 | Paper |
Combinatory logic with discriminators Journal of Symbolic Logic | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3271471 (Why is no real title available?) | 1968-01-01 | Paper |
The logical concept of existence Notre Dame Journal of Formal Logic | 1968-01-01 | Paper |
The contribution of Lesniewski Notre Dame Journal of Formal Logic | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3304905 (Why is no real title available?) | 1966-01-01 | Paper |