Tinko Tinchev

From MaRDI portal
Person:604450

Available identifiers

zbMath Open tinchev.tinkoWikidataQ102273111 ScholiaQ102273111MaRDI QIDQ604450

List of research outcomes





PublicationDate of PublicationType
The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete2025-01-16Paper
Remarks about the unification types of some locally tabular normal modal logics2023-02-16Paper
https://portal.mardi4nfdi.de/entity/Q58695212022-09-28Paper
Modal definability: two commuting equivalence relations2022-09-01Paper
Decidable and Undecidable Problems for First-Order Definability and Modal Definability2022-08-11Paper
About the unification type of \(\mathbf{K}+\square \square \bot\)2022-05-04Paper
The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete2021-07-21Paper
https://portal.mardi4nfdi.de/entity/Q49937922021-06-16Paper
Geometrical structures and modal logic2019-04-29Paper
Modal correspondence theory in the class of all Euclidean frames2018-09-28Paper
Mixed algebras and their logics2018-09-12Paper
https://portal.mardi4nfdi.de/entity/Q46360292018-04-23Paper
https://portal.mardi4nfdi.de/entity/Q46362822018-04-23Paper
A Logic of Strong Contact between Polytopes2018-02-22Paper
Undecidable problems for modal definability: Table 1.2017-05-17Paper
Definability and Canonicity for Boolean Logic with a Binary Relation2014-04-25Paper
Logics of space with connectedness predicates: complete axiomatizations2012-08-05Paper
Boolean logics with relations2010-11-11Paper
Dynamic logics of the region-based theory of discrete spaces2009-11-30Paper
Hyper arrow logic with indiscernibility and complementarity2009-11-11Paper
Boolean Logics with Relations2008-05-15Paper
https://portal.mardi4nfdi.de/entity/Q54451582008-03-03Paper
Line-based affine reasoning in Euclidean plane2007-07-25Paper
Definability Over the Class of all Partitions2007-04-13Paper
Logics in Artificial Intelligence2006-10-25Paper
A note on intersection of modalities2006-01-23Paper
Modal logics for incidence geometries1997-08-19Paper
https://portal.mardi4nfdi.de/entity/Q40296121993-03-28Paper
An essay in combinatory dynamic logic1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34783851987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36996651985-01-01Paper
PDL with data constants1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37356911985-01-01Paper

Research outcomes over time

This page was built for person: Tinko Tinchev