The following pages link to Tinko Tinchev (Q604450):
Displayed 31 items.
- Boolean logics with relations (Q604451) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- PDL with data constants (Q1065545) (← links)
- About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
- Modal definability: two commuting equivalence relations (Q2169131) (← links)
- Line-based affine reasoning in Euclidean plane (Q2372194) (← links)
- Modal logics for incidence geometries (Q2785842) (← links)
- (Q2904067) (← links)
- Undecidable problems for modal definability: Table 1. (Q2983400) (← links)
- (Q3365458) (← links)
- Definability Over the Class of all Partitions (Q3431961) (← links)
- (Q3478385) (← links)
- Boolean Logics with Relations (Q3498402) (← links)
- Dynamic logics of the region-based theory of discrete spaces (Q3647263) (← links)
- (Q3699665) (← links)
- (Q3735691) (← links)
- (Q4029612) (← links)
- Mixed algebras and their logics (Q4586236) (← links)
- Geometrical structures and modal logic (Q4632288) (← links)
- (Q4636029) (← links)
- (Q4636282) (← links)
- Modal correspondence theory in the class of all Euclidean frames (Q4684354) (← links)
- (Q4993792) (← links)
- Logics in Artificial Intelligence (Q5394146) (← links)
- Definability and Canonicity for Boolean Logic with a Binary Relation (Q5411682) (← links)
- (Q5445158) (← links)
- (Q5869521) (← links)
- Remarks about the unification types of some locally tabular normal modal logics (Q5877709) (← links)
- Hyper arrow logic with indiscernibility and complementarity (Q5902191) (← links)
- A Logic of Strong Contact between Polytopes (Q6298109) (← links)
- The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete (Q6373413) (← links)