Tinko Tinchev

Available identifiers

zbMath Open tinchev.tinkoWikidataQ102273111 ScholiaQ102273111MaRDI QIDQ604450

List of research outcomes

Publication	Date of Publication	Type
The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete	2025-01-16	Paper
Remarks about the unification types of some locally tabular normal modal logics	2023-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5869521	2022-09-28	Paper
Modal definability: two commuting equivalence relations	2022-09-01	Paper
Decidable and Undecidable Problems for First-Order Definability and Modal Definability	2022-08-11	Paper
About the unification type of \(\mathbf{K}+\square \square \bot\)	2022-05-04	Paper
The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete	2021-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4993792	2021-06-16	Paper
Geometrical structures and modal logic	2019-04-29	Paper
Modal correspondence theory in the class of all Euclidean frames	2018-09-28	Paper
Mixed algebras and their logics	2018-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q4636029	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4636282	2018-04-23	Paper
A Logic of Strong Contact between Polytopes	2018-02-22	Paper
Undecidable problems for modal definability: Table 1.	2017-05-17	Paper
Definability and Canonicity for Boolean Logic with a Binary Relation	2014-04-25	Paper
Logics of space with connectedness predicates: complete axiomatizations	2012-08-05	Paper
Boolean logics with relations	2010-11-11	Paper
Dynamic logics of the region-based theory of discrete spaces	2009-11-30	Paper
Hyper arrow logic with indiscernibility and complementarity	2009-11-11	Paper
Boolean Logics with Relations	2008-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q5445158	2008-03-03	Paper
Line-based affine reasoning in Euclidean plane	2007-07-25	Paper
Definability Over the Class of all Partitions	2007-04-13	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
A note on intersection of modalities	2006-01-23	Paper
Modal logics for incidence geometries	1997-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4029612	1993-03-28	Paper
An essay in combinatory dynamic logic	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3478385	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3699665	1985-01-01	Paper
PDL with data constants	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3735691	1985-01-01	Paper

Research outcomes over time

This page was built for person: Tinko Tinchev