Open AccessA gentle introduction to unification in modal logics
Author(s) -
Philippe Balbiani,
Çiğdem Gencer,
Mojtaba Mojtahedi,
Maryam Rostamigiv,
Tinko Tinchev
Publication year - 2019
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - unification , modal , normal modal logic , accessibility relation , t norm fuzzy logics , context (archaeology) , modal logic , computer science , epistemology , s5 , calculus (dental) , algebra over a field , mathematics , artificial intelligence , philosophy , pure mathematics , programming language , history , polymer chemistry , medicine , chemistry , archaeology , dentistry , membership function , fuzzy set , fuzzy logic