OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Tinchev, Tinko"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 6.

Article

Balbiani, 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 Item

Balbiani, 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).

This list was generated on Wed Nov 20 23:00:02 2019 CET.