Tinko Tinchev - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2023

Remarks about the unification types of some locally tabular normal modal logicsPhilippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev. igpl, 31(1):115-139, January 2023. [doi]

2022

About the unification type of $\mathbf {K}+\square \square \bot $Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev. AMAI, 90(5):481-497, 2022. [doi]

Modal Definability: Two Commuting Equivalence RelationsYana Rumenova, Tinko Tinchev. lu, 16(1):177-194, 2022. [doi]

2020

About the unification type of K+☐☐⊥Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev. UNIF 2020: [doi]

2019

Decidable and Undecidable Problems for First-Order Definability and Modal DefinabilityPhilippe Balbiani, Tinko Tinchev. tbillc 2022: 214-236 [doi]

2018

Modal correspondence theory in the class of all Euclidean framesPhilippe Balbiani, Dimiter Georgiev, Tinko Tinchev. logcom, 28(1):119-131, 2018. [doi]

Elementary Unification in Modal Logic KD45Philippe Balbiani, Tinko Tinchev. flap, 5(1):301-318, 2018. [doi]

2017

Undecidable problems for modal definabilityPhilippe Balbiani, Tinko Tinchev. logcom, 27(3):901-920, 2017. [doi]

Mixed algebras and their logicsIvo Düntsch, Ewa Orlowska, Tinko Tinchev. jancl, 27(3-4):304-320, 2017. [doi]

2016

1Philippe Balbiani, Tinko Tinchev. aiml 2016: 117-134 [doi]

2014

2010

Boolean logics with relationsPhilippe Balbiani, Tinko Tinchev. jlp, 79(8):707-721, 2010. [doi]

Logics of Space with Connectedness Predicates: Complete AxiomatizationsTinko Tinchev, Dimiter Vakarelov. aiml 2010: 434-453 [doi]

2009

Large Vocabulary Continuous Speech Recognition for BulgarianPetar Mitankin, Stoyan Mihov, Tinko Tinchev. ranlp 2009: 246-250 [doi]

2008

Boolean Logics with RelationsPhilippe Balbiani, Tinko Tinchev. RelMiCS 2008: 4-21 [doi]

Second-order logic on equivalence relationsG. Georgiev, Tinko Tinchev. jancl, 18(2-3):229-246, 2008. [doi]

2007

Modal Logics for Region-based Theories of SpacePhilippe Balbiani, Tinko Tinchev, Dimiter Vakarelov. FUIN, 81(1-3):29-82, 2007. [doi]

Dynamic logics of the region-based theory of discrete spacesPhilippe Balbiani, Tinko Tinchev, Dimiter Vakarelov. jancl, 17(1):39-61, 2007. [doi]

Line-based affine reasoning in Euclidean planePhilippe Balbiani, Tinko Tinchev. japll, 5(3):421-434, 2007. [doi]

2006

Definability Over the Class of all PartitionsPhilippe Balbiani, Tinko Tinchev. logcom, 16(5):541-557, 2006. [doi]

2004

Line-Based Affine Reasoning in Euclidean PlanePhilippe Balbiani, Tinko Tinchev. jelia 2004: 474-486 [doi]

1997

Modal Logics for Incidence GeometriesPhilippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov. logcom, 7(1):59-78, 1997.

1996

Geometrical Structures and Modal LogicPhilippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov. fapr 1996: 43-57

1991

An Essay in Combinatory Dynamic LogicSolomon Passay, Tinko Tinchev. iandc, 93(2):263-332, August 1991.

1985

Quantifiers in combinatory PDL: completeness, definability, incompletenessSolomon Passy, Tinko Tinchev. fct 1985: 512-519

PDL with Data ConstantsSolomon Passy, Tinko Tinchev. ipl, 20(1):35-41, 1985.

1984

Propositional dynamic logics with counters and stacksTinko Tinchev, Dimiter Vakarelov. sct 1985: 364-374 [doi]

Sign in or sign up to see more results.

runs on WebDSL