| Publication | Date of Publication | Type |
|---|
| Introduction | 2024-12-03 | Paper |
| Transparent quantification into hyperpropositional attitudes de dicto | 2024-12-03 | Paper |
| Transparent quantification into hyperintensional objectual attitudes | 2024-12-03 | Paper |
| Transparent quantification into hyperpropositional contexts \textit{de re} | 2024-12-03 | Paper |
| The paradox of inference and the non-triviality of analytic information | 2024-12-03 | Paper |
| If structured propositions are logical procedures then how are procedures individuated? | 2024-12-03 | Paper |
| Procedural isomorphism, analytic information and \(\beta\)-conversion by value | 2024-12-03 | Paper |
| A hyperintensional theory of intelligent question answering in TIL | 2024-12-03 | Paper |
| Negation and presupposition, truth and falsity | 2024-12-03 | Paper |
| Presuppositions and two kinds of negation | 2024-12-03 | Paper |
| How to unify Russellian and Strawsonian definite descriptions | 2024-12-03 | Paper |
| Iterated privation and positive predication | 2024-12-03 | Paper |
| Modelling dynamic behaviour of agents in a multiagent world: logical analysis of wh-questions and answers | 2024-12-03 | Paper |
| Impossible individuals as necessarily empty individual concepts | 2024-12-03 | Paper |
| St. Anselm's ontological arguments | 2024-12-03 | Paper |
| Ambiguities in natural language and ontological proofs | 2024-12-03 | Paper |
| Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers | 2023-02-16 | Paper |
| Hyperintensional Reasoning Based on Natural Language Knowledge Base | 2023-01-30 | Paper |
| Impossible individuals as necessarily empty individual concepts | 2022-10-25 | Paper |
| If structured propositions are logical procedures then how are procedures individuated? | 2021-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224881 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4608337 | 2018-03-16 | Paper |
| Iterated privation and positive predication | 2018-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5365490 | 2017-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5354799 | 2017-09-04 | Paper |
| Transparent quantification into hyperintensional objectual attitudes | 2017-03-08 | Paper |
| How to Unify Russellian and Strawsonian Definite Descriptions | 2015-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4925867 | 2013-06-12 | Paper |
| Procedural isomorphism, analytic information and -conversion by value | 2013-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918291 | 2013-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4903798 | 2013-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4648942 | 2012-11-16 | Paper |
| Extensional Logic of Hyperintensions | 2012-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3101112 | 2011-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5199098 | 2011-08-11 | Paper |
| The paradox of inference and the non-triviality of analytic information | 2010-11-03 | Paper |
| Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic | 2010-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3527401 | 2008-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3504419 | 2008-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4549419 | 2004-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4549382 | 2002-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225083 | 1999-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3471709 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795309 | 1988-01-01 | Paper |
