| Publication | Date of Publication | Type |
|---|
| On the limits of decision: the adjacent fragment of first-order logic | 2024-11-14 | Paper |
| Adding transitivity and counting to the fluted fragment | 2024-09-25 | Paper |
| Fragments of First-Order Logic | 2023-01-24 | Paper |
The Fluted Fragment with Transitivity
(available as arXiv preprint) | 2022-07-21 | Paper |
Adding Guarded Constructions to the Syllogistic
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
The fluted fragment with transitive relations
Annals of Pure and Applied Logic | 2021-10-29 | Paper |
Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable
Mathematical Logic Quarterly | 2020-05-11 | Paper |
| Transitivity and equivalence in decidable fragments of first-order logic: a survey | 2020-01-14 | Paper |
The fluted fragment revisited
Journal of Symbolic Logic | 2019-09-17 | Paper |
The fluted fragment revisited
Journal of Symbolic Logic | 2019-09-17 | Paper |
Two-variable first-order logic with counting in forests
EPiC Series in Computing | 2019-07-04 | Paper |
Logics with counting and equivalence
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Equivalence closure in the two-variable guarded fragment
Journal Of Logic And Computation | 2018-02-13 | Paper |
scientific article; zbMATH DE number 6816925 (Why is no real title available?)
(available as arXiv preprint) | 2017-12-11 | Paper |
| Quine's fluted fragment is non-elementary | 2017-07-19 | Paper |
Two-variable first-order logic with equivalence closure
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
The two-variable fragment with counting and equivalence
Mathematical Logic Quarterly | 2016-01-07 | Paper |
Topological logics with connectedness over Euclidean spaces
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
The Hamiltonian syllogistic
Journal of Logic, Language and Information | 2015-02-09 | Paper |
Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces
Artificial Intelligence | 2014-10-27 | Paper |
Two-variable first-order logic with equivalence closure
SIAM Journal on Computing | 2014-09-18 | Paper |
Functions definable by numerical set-expressions
Journal of Logic and Computation | 2013-08-27 | Paper |
The syllogistic with unity
Journal of Philosophical Logic | 2013-06-28 | Paper |
| Topology, connectedness, and modal logic | 2011-03-30 | Paper |
The two-variable fragment with counting revisited
Logic, Language, Information and Computation | 2010-09-29 | Paper |
Spatial logics with connectedness predicates
Logical Methods in Computer Science | 2010-09-21 | Paper |
On the computability of region-based Euclidean logics
Computer Science Logic | 2010-09-03 | Paper |
Functions definable by arithmetic circuits
Mathematical Theory and Computational Practice | 2010-07-28 | Paper |
Complex algebras of arithmetic
Fundamenta Informaticae | 2010-03-10 | Paper |
LOGICS FOR THE RELATIONAL SYLLOGISTIC
The Review of Symbolic Logic | 2010-01-21 | Paper |
A topological constraint language with component counting
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Conditionalization and total knowledge
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
Data-complexity of the two-variable fragment with counting quantifiers
Information and Computation | 2009-07-15 | Paper |
No Syllogisms for the Numerical Syllogistic
Languages: From Formal to Natural | 2009-06-03 | Paper |
On the Computational Complexity of Spatial Logics with Connectedness Constraints
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics
The Bulletin of Symbolic Logic | 2008-05-08 | Paper |
Temporal prepositions and their logic
Artificial Intelligence | 2007-10-23 | Paper |
Complexity of the Guarded Two-variable Fragment with Counting Quantifiers
Journal Of Logic And Computation | 2007-05-14 | Paper |
More fragments of language.
Notre Dame Journal of Formal Logic | 2007-02-15 | Paper |
Complexity of the two-variable fragment with counting quantifiers
Journal of Logic, Language and Information | 2005-10-04 | Paper |
Fragments of language
Journal of Logic, Language and Information | 2004-08-06 | Paper |
A two-variable fragment of English
Journal of Logic, Language and Information | 2003-04-27 | Paper |
Elementary polyhedral mereotopology
Journal of Philosophical Logic | 2003-03-12 | Paper |
| scientific article; zbMATH DE number 1765671 (Why is no real title available?) | 2002-07-10 | Paper |
Empiricism and rationalism in region-based theories of space
Fundamenta Informaticae | 2001-07-23 | Paper |
