| Publication | Date of Publication | Type |
|---|
A finitary outer measure logic
Journal Of Logic And Computation | 2023-05-16 | Paper |
An infinitary propositional probability logic
Archive for Mathematical Logic | 2023-04-27 | Paper |
A two-dimensional metric temporal logic
Mathematical Logic Quarterly | 2020-05-29 | Paper |
A two-dimensional metric temporal logic
(available as arXiv preprint) | 2019-03-14 | Paper |
A completeness theorem for continuous predicate modal logic
Archive for Mathematical Logic | 2019-01-24 | Paper |
Continuous propositional modal logic
Journal of Applied Non-Classical Logics | 2019-01-14 | Paper |
A natural deduction system for bundled branching time logic
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Retracted article: ``A completeness theorem for continuous predicate modal logic
Archive for Mathematical Logic | 2017-10-09 | Paper |
A predicate extension of real valued logic
Archive for Mathematical Logic | 2017-09-15 | Paper |
A note on infinitary continuous logic
Mathematical Logic Quarterly | 2016-01-07 | Paper |
Preservation of properties in nonstandard hulls of \(C^\ast\)-algebras
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2015-04-17 | Paper |
The \(\mathbb{R}\)eal truth
Mathematical Logic Quarterly | 2015-03-19 | Paper |
Quantum coherent spaces and linear logic
RAIRO - Theoretical Informatics and Applications | 2011-05-10 | Paper |
Quantum coherent spaces and linear logic
RAIRO - Theoretical Informatics and Applications | 2011-05-10 | Paper |
Some properties of nonstandard hulls of Banach algebras
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2011-04-06 | Paper |
Some properties of nonstandard hulls of Banach algebras
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2011-04-06 | Paper |
Isometry games in Banach spaces
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2008-11-07 | Paper |
A note on unbounded metric temporal logic over dense time domains
MLQ | 2007-02-07 | Paper |
An approach to infinitary temporal proof theory
Archive for Mathematical Logic | 2005-02-11 | Paper |
A Way of Making World Quantification Explicit
Logic Journal of the IGPL | 2004-10-28 | Paper |
An infinitary variant of Metric Temporal Logic over dense time domains
Mathematical Logic Quarterly | 2004-08-06 | Paper |
A proof-theoretic investigation of a logic of positions
Annals of Pure and Applied Logic | 2003-09-25 | Paper |
A nonstandard proof of the Eberlein-Smulian theorem
Proceedings of the American Mathematical Society | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1866894 (Why is no real title available?) | 2003-07-10 | Paper |
Consequences of neocompact quantifier elimination
Mathematical Logic Quarterly | 2003-04-10 | Paper |
Neocompact quantifier elimination in structures based on Banach spaces
Annals of Pure and Applied Logic | 2001-09-11 | Paper |
| scientific article; zbMATH DE number 1302054 (Why is no real title available?) | 2000-07-29 | Paper |
Approximating classical theorems
Journal Of Logic And Computation | 2000-07-13 | Paper |
Fixed points in the nonstandard hull of a Banach space
Nonlinear Analysis: Theory, Methods & Applications | 2000-05-18 | Paper |
| scientific article; zbMATH DE number 1361536 (Why is no real title available?) | 2000-05-04 | Paper |
A parallel game semantics for linear logic
Archive for Mathematical Logic | 1999-10-28 | Paper |
The theory of \({\mathbf Z}C(2)^2\)-lattices is decidable
Archive for Mathematical Logic | 1998-11-10 | Paper |
Pure-injective modules over the dihedral algebras
Communications in Algebra | 1997-04-20 | Paper |
Non Standard Regular Finite Set Theory
Mathematical Logic Quarterly | 1996-02-20 | Paper |
A theory of sets with the negation of the axiom of infinity
Mathematical Logic Quarterly | 1995-03-05 | Paper |
A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete
Theoretical Computer Science | 1994-09-22 | Paper |
A Modal Approach to Negation as Failure Rule
Journal Of Logic And Computation | 1994-09-13 | Paper |
A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses
Theoretical Computer Science | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4176422 (Why is no real title available?) | 1991-01-01 | Paper |
Karp's interpolation theorem for some classes of infinitary languages
Rendiconti del Seminario Matematico della Università di Padova | 1989-01-01 | Paper |
Karp's interpolation theorem for some classes of infinitary languages
Rendiconti del Seminario Matematico della Università di Padova | 1989-01-01 | Paper |
On Some Properties of Recursively Enumerable Equivalence Relations
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4108188 (Why is no real title available?) | 1988-01-01 | Paper |
Continuous logic in a classical setting
(available as arXiv preprint) | N/A | Paper |
