The following pages link to Çiğdem Gencer (Q831217):
Displaying 22 items.
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
- (Q1591342) (redirect page) (← links)
- On self-admissible quasi-characterizing inference rules (Q1591343) (← links)
- Finitariness of elementary unification in Boolean region connection calculus (Q1687563) (← links)
- About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
- (Q3102375) (← links)
- Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- Unifiability in extensions of K4 (Q3625492) (← links)
- On a Question of Phillips (Q4333473) (← links)
- Unification and Passive Inference Rules for Modal Logics (Q4443406) (← links)
- (Q4489067) (← links)
- (Q4526732) (← links)
- Unification in epistemic logics (Q4586223) (← links)
- <i>KD</i> is nullary (Q4586229) (← links)
- Description of Modal Logics Inheriting Admissible Rules for K4 (Q4779583) (← links)
- Description of modal logics inheriting admissible rules for S4 (Q4934059) (← links)
- (Q5039110) (← links)
- Two decision problems in Contact Logics (Q5241914) (← links)
- (Q5687886) (← links)
- Remarks about the unification types of some locally tabular normal modal logics (Q5877709) (← links)
- About the unification types of modal logics (Q6612813) (← links)
