Items where Person is "Tinchev, Tinko"
Group by: Item Type | No Grouping Jump to: Article | Conference or Workshop Item Number of items: 6. ArticleBalbiani, Philippe and Tinchev, Tinko. Elementary unification in modal logic KD45. (2018) The IfCoLog Journal of Logics and their Applications, 5 (1). 301-317. ISSN 2055-3706 Balbiani, Philippe and Georgiev, Dimiter and Tinchev, Tinko. Modal correspondence theory in the class of all Euclidean frames. (2017) Journal of Logic and Computation, 28 (1). 119-131. ISSN 0955-792X Balbiani, Philippe and Tinchev, Tinko. Undecidable problems for modal definability. (2017) Journal of Logic and Computation, 27 (3). 901-920. ISSN 0955-792X Balbiani, Philippe and Tinchev, Tinko. Definability and canonicity for Boolean logic with a binary relation. (2014) Fundamenta Informaticae, 129 (4). 301-327. ISSN 0169-2968 Conference or Workshop ItemBalbiani, Philippe and Tinchev, Tinko. Unification in modal logic Alt1. (2016) In: 11th conference on Advances in Modal logic (AiML 2016), 30 August 2016 - 2 September 2016 (Budapest, Hungary). Balbiani, Philippe and Tinchev, Tinko. Definability and computability for PRSPDL. (2014) In: 10th conference on Advances in Modal logic (AiML 2014), 1 January 2014 - 31 December 2014 (Groningen, Netherlands). |