profile picture

Dimiter Vakarelov

 More details
  •  106
    A duality between Pawlak's knowledge representation systems and bi-consequence systems
    Studia Logica 55 (1). 1995.
    A duality between Pawlak's knowledge representation systems and certain information systems of logical type, called bi-consequence systems is established. As an application a first-order characterization of some informational relations is given and a completeness theorem for the corresponding modal logic INF is proved. It is shown that INF possesses finite model property and hence is decidable.
    Logic and Philosophy of Logic
  •  125
    Dynamic logics of the region-based theory of discrete spaces
    with Philippe Balbiani and Tinko Tinchev
    Journal of Applied Non-Classical Logics 17 (1): 39-61. 2007.
    The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discrete spaces. These modal logics are linguistic restrictions of propositional dynamic logic with the global diamond E. Their formulas are equivalent to Boolean combinations of modal formulas like E(A ∧ ⟨α⟩ B) where A and B are Boolean terms and α is a relational term. Examining what we can say about dynamic models when we…Read more
    Logic and Philosophy of LogicLogics
  •  111
    Notes on N-lattices and constructive logic with strong negation
    Studia Logica 36 (1-2): 109-125. 1977.
    Logic and Philosophy of LogicNonclassical LogicsIntuitionistic Logic
  •  120
    Intuitionistic modal logics incompatible with the law of the excluded middle
    Studia Logica 40 (2). 1981.
    In this paper, intuitionistic modal logics which do not admit the law of the excluded middle are studied. The main result is that there exista a continuum of such logics.
    Modal LogicIntuitionistic Logic