In this thesis (modal) dependence logic is investigated. It was introduced in 2007 by Jouko Väänänen as an extension of first-order (resp. modal) logic by the dependence operator “p ̈q. For first-order (resp. propositional) variables x1, . . . , xn, “px1, . . . , xn ́1, xnq intuitively states that the value of xn is determined by those of x1, . . . , xn ́1. We consider fragments of modal dependenc...

This paper studies a particular interpretation of propositional modal logic into propositional modal logic. Under an epistemic reading of the modality this interpretation can be understood as taking knowledge to be true belief. All normal modal logics of belief that under this definition of knowledge give rise to S5 as the logic of knowledge are determined. And all the normal modal logics of be...

in this paper we continue development of formal theory of a special class offuzzy logics, called eq-logics. unlike fuzzy logics being extensions of themtl-logic in which the basic connective is implication, the basic connective ineq-logics is equivalence. therefore, a new algebra of truth values calledeq-algebra was developed. this is a lower semilattice with top element endowed with two binary...