| Publication | Date of Publication | Type |
|---|
| Common Knowledge, Common Attitudes and Social Reasoning | 2023-05-04 | Paper |
| The Formalization Of Pratical Reasoning: Problems And Prospects | 2020-08-10 | Paper |
| Chisholm's paradox and conditional oughts | 2019-07-10 | Paper |
| Independence of the dual axiom in modal \(\mathbf{K}\) with primitive | 2018-09-19 | Paper |
| Action models for conditionals | 2016-07-05 | Paper |
| Krister Segerberg’s Philosophy of Action | 2015-04-10 | Paper |
| The logic of counterpart theory with actuality | 2014-09-18 | Paper |
| Chisholm’s Paradox and Conditional Oughts | 2014-09-08 | Paper |
| PARADOXES OF INTENSIONALITY | 2011-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3016134 | 2011-07-13 | Paper |
| Some limitations to the psychological orientation in semantic theory | 2011-02-18 | Paper |
| Dynamic Contextual Intensional Logic: Logical Foundations and an Application | 2010-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5324178 | 2009-08-03 | Paper |
| Modeling and Using Context | 2005-12-15 | Paper |
| The agreement process: an empirical investigation of human–human computer-mediated collaborative dialogs | 2003-04-03 | Paper |
| Iterative probability kinematics | 2002-07-22 | Paper |
| Representability in second-order propositional poly-modal logic | 2002-01-01 | Paper |
| Modeling the beliefs of other agents. Achieving mutuality | 2001-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941945 | 2000-10-25 | Paper |
| Hybridizing nonmonotonic inheritance with theorem proving | 1997-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342095 | 1997-07-08 | Paper |
| Netl and subsequent path-based inheritance theories | 1993-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4016566 | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012246 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3989939 | 1992-06-28 | Paper |
| A skeptical theory of inheritance in nonmonotonic semantic networks | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3829538 | 1989-01-01 | Paper |
| A note on syntactical treatments of modality | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4180319 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4152520 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5680089 | 1973-01-01 | Paper |
| A semantic theory of sortal incorrectness | 1972-01-01 | Paper |
| Indeterminist time and truth‐value gaps1 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5635429 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5616117 | 1970-01-01 | Paper |
| A semantic analysis of conditional logic1 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5582317 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5582311 | 1969-01-01 | Paper |
| A semantical study of constructible falsity | 1969-01-01 | Paper |
| Predicate calculus with free quantifier variables | 1969-01-01 | Paper |
| On the strong semantical completeness of the intuitionistic predicate calculus | 1968-01-01 | Paper |
| Completeness theorems for some presupposition-free logics | 1968-01-01 | Paper |
| All or none; A novel choice of primitives for elementary logic | 1967-01-01 | Paper |
| A decision procedure for Fitch's propositional calculus | 1967-01-01 | Paper |
| The Demarcation Line Between Intuitionist Logic and Classical Logic | 1966-01-01 | Paper |
| On not strengthening intuitionistic logic | 1963-01-01 | Paper |
| A rule-completeness theorem | 1963-01-01 | Paper |
