Ian Pratt-Hartmann

Available identifiers

zbMath Open pratt-hartmann.ianMaRDI QIDQ464616

List of research outcomes

Publication	Date of Publication	Type
Fragments of First-Order Logic	2023-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q5092377	2022-07-21	Paper
Adding Guarded Constructions to the Syllogistic	2021-12-10	Paper
The fluted fragment with transitive relations	2021-10-29	Paper
Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable	2020-05-11	Paper
Transitivity and equivalence in decidable fragments of first-order logic: a survey	2020-01-14	Paper
THE FLUTED FRAGMENT REVISITED	2019-09-17	Paper
Two-variable First-Order Logic with Counting in Forests	2019-07-04	Paper
Logics with counting and equivalence	2018-04-23	Paper
Equivalence closure in the two-variable guarded fragment	2018-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4596781	2017-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q5278428	2017-07-19	Paper
Two-Variable First-Order Logic with Equivalence Closure	2017-05-16	Paper
The two‐variable fragment with counting and equivalence	2016-01-07	Paper
Topological Logics with Connectedness over Euclidean Spaces	2015-09-17	Paper
The Hamiltonian syllogistic	2015-02-09	Paper
Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces	2014-10-27	Paper
Two-Variable First-Order Logic with Equivalence Closure	2014-09-18	Paper
Functions definable by numerical set-expressions	2013-08-27	Paper
The syllogistic with unity	2013-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3085165	2011-03-30	Paper
The Two-Variable Fragment with Counting Revisited	2010-09-29	Paper
Spatial logics with connectedness predicates	2010-09-21	Paper
On the Computability of Region-Based Euclidean Logics	2010-09-03	Paper
Functions Definable by Arithmetic Circuits	2010-07-28	Paper
Complex Algebras of Arithmetic	2010-03-10	Paper
LOGICS FOR THE RELATIONAL SYLLOGISTIC	2010-01-21	Paper
A Topological Constraint Language with Component Counting	2009-11-30	Paper
Conditionalization and total knowledge	2009-11-11	Paper
Data-complexity of the two-variable fragment with counting quantifiers	2009-07-15	Paper
No Syllogisms for the Numerical Syllogistic	2009-06-03	Paper
On the Computational Complexity of Spatial Logics with Connectedness Constraints	2009-01-27	Paper
On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics	2008-05-08	Paper
Temporal prepositions and their logic	2007-10-23	Paper
Complexity of the Guarded Two-variable Fragment with Counting Quantifiers	2007-05-14	Paper
More fragments of language.	2007-02-15	Paper
Complexity of the two-variable fragment with counting quantifiers	2005-10-04	Paper
Fragments of language	2004-08-06	Paper
A two-variable fragment of English	2003-04-27	Paper
Elementary polyhedral mereotopology	2003-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4539607	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q2729678	2001-07-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ian Pratt-Hartmann