| 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
Logic Journal of the IGPL | 2023-02-16 | Paper |
Hyperintensional Reasoning Based on Natural Language Knowledge Base
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 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?
Synthese | 2021-11-25 | Paper |
| Validity and applicability of Leibniz's law of substitution of identicals | 2019-07-24 | Paper |
| Presuppositions and two kinds of negation | 2018-03-16 | Paper |
Iterated privation and positive predication
Journal of Applied Logic | 2018-01-31 | Paper |
| Procedural isomorphism and synonymy | 2017-10-06 | Paper |
| How to validly quantify into hyperintensional nonpropositional attitudes | 2017-09-04 | Paper |
Transparent quantification into hyperintensional objectual attitudes
Synthese | 2017-03-08 | Paper |
How to unify Russellian and Strawsonian definite descriptions
Recent Trends in Philosophical Logic | 2015-06-29 | Paper |
| Transparent quantification into hyperpropositional contexts \textit{de re} | 2013-06-12 | Paper |
Procedural isomorphism, analytic information and -conversion by value
Logic Journal of the IGPL | 2013-06-11 | Paper |
| Transparent quantification into hyperintensional contexts | 2013-04-24 | Paper |
| scientific article; zbMATH DE number 6130977 (Why is no real title available?) | 2013-01-27 | Paper |
| Tenses and truth-conditions: a plea for if-then-else | 2012-11-16 | Paper |
Extensional Logic of Hyperintensions
Conceptual Modelling and Its Theoretical Foundations | 2012-03-09 | Paper |
| `\(\pi\)' in the sky | 2011-11-22 | Paper |
| scientific article; zbMATH DE number 5938111 (Why is no real title available?) | 2011-08-11 | Paper |
The paradox of inference and the non-triviality of analytic information
Journal of Philosophical Logic | 2010-11-03 | Paper |
Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
Logic, Epistemology, and the Unity of Science | 2010-04-29 | Paper |
| scientific article; zbMATH DE number 5347850 (Why is no real title available?) | 2008-09-29 | Paper |
| Multi-criterion search from the semantic point of view (comparing TIL and description logic) | 2008-06-11 | Paper |
| scientific article; zbMATH DE number 1790376 (Why is no real title available?) | 2004-01-15 | Paper |
| scientific article; zbMATH DE number 1790350 (Why is no real title available?) | 2002-08-28 | Paper |
| scientific article; zbMATH DE number 1241640 (Why is no real title available?) | 1999-01-18 | Paper |
| scientific article; zbMATH DE number 4139319 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4060790 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4060790 (Why is no real title available?) | 1988-01-01 | Paper |
