| Publication | Date of Publication | Type |
|---|
Another neighbourhood semantics for intuitionistic logic
Logic Journal of the IGPL | 2024-11-15 | Paper |
Models of Bounded Arithmetic Theories and Some Related Complexity Questions
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Representation and Spacetime: The Hole Argument Revisited
International Studies in the Philosophy of Science | 2023-08-16 | Paper |
From forcing to satisfaction in Kripke models of intuitionistic predicate logic
Logic Journal of the IGPL | 2022-08-10 | Paper |
An infinitary axiomatization of dynamic topological logic
Logic Journal of the IGPL | 2022-03-30 | Paper |
A strongly complete axiomatization of intuitionistic temporal logic
Journal Of Logic And Computation | 2021-11-09 | Paper |
| Ultraproduct for quantum structures | 2020-02-11 | Paper |
Forcing and satisfaction in Kripke models of intuitionistic arithmetic
Logic Journal of the IGPL | 2019-11-04 | Paper |
Neighborhood Semantics for Basic and Intuitionistic Logic
Logic and Logical Philosophy | 2017-05-18 | Paper |
| Preservation theorems in Łukasiewicz model theory | 2016-02-18 | Paper |
| Cuts and overspill properties in models of bounded arithmetic | 2014-12-01 | Paper |
| Regular cuts in models of bounded arithmetic | 2014-04-29 | Paper |
Fuzzy and intuitionistic fuzzy Turing machines
Fundamenta Informaticae | 2013-06-27 | Paper |
Homomorphisms and chains of Kripke models
Archive for Mathematical Logic | 2011-05-11 | Paper |
Provably recursive functions of constructive and relatively constructive theories
Archive for Mathematical Logic | 2010-04-15 | Paper |
Preservation theorems for Kripke models
Mathematical Logic Quarterly | 2009-04-09 | Paper |
On the Hierarchy of Intuitionistic Bounded Arithmetic
Journal Of Logic And Computation | 2008-08-15 | Paper |
Preservation theorems for bounded formulas
Archive for Mathematical Logic | 2007-02-14 | Paper |
| Model theory of bounded arithmetic with applications to independence results | 2006-10-23 | Paper |
An Independence Result for Intuitionistic Bounded Arithmetic
Journal Of Logic And Computation | 2006-07-03 | Paper |
Polynomial induction and length minimization in intuitionistic bounded arithmetic
MLQ | 2005-02-16 | Paper |
Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND
Journal Of Logic And Computation | 2004-09-07 | Paper |
Intuitionistic weak arithmetic
Archive for Mathematical Logic | 2004-03-07 | Paper |
Some results on Kripke models over an arbitrary fixed frame
MLQ | 2003-11-10 | Paper |
\(\mathcal H\)-theories, fragments of HA and PA-normality
Archive for Mathematical Logic | 2003-09-16 | Paper |
On two questions about feasibly constructive arithmetic
MLQ | 2003-07-31 | Paper |
Independence results for weak systems of intuitionistic arithmetic
Mathematical Logic Quarterly | 2003-05-22 | Paper |
Some weak fragments of <i>HA</i> and certain closure properties
Journal of Symbolic Logic | 2002-10-29 | Paper |
Weak arithmetics and Kripke models
Mathematical Logic Quarterly (MLQ) | 2002-07-14 | Paper |
