2 citations · 2 across the 5 of their papers we have counts for
5 papers
Intuitionistic modal logic LIK4 is decidable
Philippe Balbiani, Çigdem Gencer, Tinko Tinchev
In this note, we prove that intuitionistic modal logic LIK4 is decidable.
Modal definability in Euclidean modal logics
Philippe Balbiani, Tinko Tinchev
This paper is about the computability of the modal definability problem in classes of frames determined by Euclidean modal logics. We characterize those Euclidean modal logics such…
The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
Tatyana Ivanova, Tinko Tinchev
A. Tarski uses in his system for the elementary geometry only the primitive concept of point, and the two primitive relations betweenness and equidistance. Another approach is the…
About the unification types of the modal logics determined by classes of deterministic frames
Philippe Balbiani, Çiğdem Gencer, Maryam Rostamigiv +1
The unification problem in a propositional logic is to determine, given a formula F, whether there exists a substitution s such that s(F) is in that logic. In that case, s is a uni…
A Logic of Strong Contact between Polytopes
Tsvetlin Marinov, Tinko Tinchev
We propose a new contact relation between polytopes. Intuitively, we say that two polytopes are in strong contact if a small enough object can pass from one of them to the other wh…