Patient centred care (PCC) is a healthcare model which is sensitive towards the patients' preferences, needs and values. Interest in the use of PCC in diabetology has heightened recently. There is a special need of the usage of PCC in Muslim communities. Six out of the ten countries with the highest prevalence of diabetes are Muslim majority countries. There are several religious and sociocultu...

" The hardest logic puzzle ever " presented by George Boolos became a target for philosophers and logicians who tried to modify it and make it even tougher. I propose further modification of the original puzzle where part of the available information is eliminated but the solution is still possible. The solution also gives interesting ideas on logic behind discovery of unknown language.

Tims has been studied by logicians for a long time and recently it has been modelled in more and more researches in AI. There exists a gap between the logics built by temporal logicians and those used in AI. This paper aims at filing this gap and providing a formal study on temporal logics for AI. In this paper, we present a new axiomatization of Allen & Hayes' temporal logic and locate their l...

By treating belief as a modality and combining this with problems about constant truth tel lers and constant l iars (knights and knaves) we obtain some curious epistemic counterparts of undecidability results in metamathematics. Godel's second theorem gets reflected in a logician who cannot believe in his own consistency without becoming inconsistent. Lob's theorem reflects i t se l f in a vari...