Tinko Tinchev

Logica Universalis, 2022

About the unification type of $\mathbf {K}+\square \square \bot $.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2022

2020

About the unification types of the modal logics determined by classes of deterministic frames.

[BibT_eX]

[DOI]

CoRR, 2020

About the unification type of K+☐☐⊥.

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Unification, 2020

2019

Decidable and Undecidable Problems for First-Order Definability and Modal Definability.

[BibT_eX]

[DOI]

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

2018

Modal correspondence theory in the class of all Euclidean frames.

[BibT_eX]

[DOI]

Dimiter Georgiev

J. Log. Comput., 2018

Elementary Unification in Modal Logic KD45.

[BibT_eX]

[DOI]

FLAP, 2018

2017

Undecidable problems for modal definability.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

Mixed algebras and their logics.

[BibT_eX]

[DOI]

Ivo Düntsch

Ewa Orlowska

J. Appl. Non Class. Logics, 2017

2016

Unification in modal logic Alt<sub>1</sub>.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 11, 2016

2014

Definability and Canonicity for Boolean Logic with a Binary Relation.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Unification in the normal modal logic Alt1.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Unification, 2014

Flexible Noisy Text Correction.

[BibT_eX]

[DOI]

Proceedings of the 11th IAPR International Workshop on Document Analysis Systems, 2014

Definability and Computability for PRSPDL.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 10, 2014

2010

Boolean logics with relations.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Logics of Space with Connectedness Predicates: Complete Axiomatizations.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 8, 2010

2009

Large Vocabulary Continuous Speech Recognition for Bulgarian.

[BibT_eX]

[DOI]

Petar Mitankin

Stoyan Mihov

Proceedings of the Recent Advances in Natural Language Processing, 2009

2008

Second-order logic on equivalence relations.

[BibT_eX]

[DOI]

G. Georgiev

J. Appl. Non Class. Logics, 2008

2007

Line-based affine reasoning in Euclidean plane.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

Dynamic logics of the region-based theory of discrete spaces.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2007

Modal Logics for Region-based Theories of Space.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

2006

Definability Over the Class of all Partitions.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

1997

Modal Logics for Incidence Geometries.

[BibT_eX]

[DOI]

Luis Fariñas del Cerro

J. Log. Comput., 1997

1996

Geometrical Structures and Modal Logic.

[BibT_eX]

[DOI]

Luis Fariñas del Cerro

Proceedings of the Practical Reasoning, 1996

1991

An Essay in Combinatory Dynamic Logic

[BibT_eX]

[DOI]

Solomon Passay

Inf. Comput., August, 1991

1985

PDL with Data Constants.

[BibT_eX]

[DOI]

Solomon Passy

Inf. Process. Lett., 1985

Quantifiers in combinatory PDL: completeness, definability, incompleteness.

[BibT_eX]

[DOI]

Solomon Passy

Proceedings of the Fundamentals of Computation Theory, 1985

1984

Propositional dynamic logics with counters and stacks.

[BibT_eX]

[DOI]