Results for 'Vladimir Vladimir Rybakov'

1000+ found
Order:
  1.  50
    Admissibility of Logical Inference Rules.Vladimir Vladimir Rybakov - 1997 - Elsevier.
    The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and special (...)
    Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  2.  45
    Logics with the Universal Modality and Admissible Consecutions.Rybakov Vladimir - 2007 - Journal of Applied Non-Classical Logics 17 (3):383-396.
    In this paper1 we study admissible consecutions in multi-modal logics with the universal modality. We consider extensions of multi-modal logic S4n augmented with the universal modality. Admissible consecutions form the largest class of rules, under which a logic is closed. We propose an approach based on the context effective finite model property. Theorem 7, the main result of the paper, gives sufficient conditions for decidability of admissible consecutions in our logics. This theorem also provides an explicit algorithm for recognizing such (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3. Rules of Inference with Parameters for Intuitionistic Logic.Vladimir V. Rybakov - 1992 - Journal of Symbolic Logic 57 (3):912-923.
    An algorithm recognizing admissibility of inference rules in generalized form (rules of inference with parameters or metavariables) in the intuitionistic calculus H and, in particular, also in the usual form without parameters, is presented. This algorithm is obtained by means of special intuitionistic Kripke models, which are constructed for a given inference rule. Thus, in particular, the direct solution by intuitionistic techniques of Friedman's problem is found. As a corollary an algorithm for the recognition of the solvability of logical equations (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  4.  32
    Unification in Linear Temporal Logic LTL.Sergey Babenyshev & Vladimir Rybakov - 2011 - Annals of Pure and Applied Logic 162 (12):991-1000.
    We prove that a propositional Linear Temporal Logic with Until and Next has unitary unification. Moreover, for every unifiable in LTL formula A there is a most general projective unifier, corresponding to some projective formula B, such that A is derivable from B in LTL. On the other hand, it can be shown that not every open and unifiable in LTL formula is projective. We also present an algorithm for constructing a most general unifier.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  5.  25
    Construction of an Explicit Basis for Rules Admissible in Modal System S4.Vladimir V. Rybakov - 2001 - Mathematical Logic Quarterly 47 (4):441-446.
    We find an explicit basis for all admissible rules of the modal logic S4. Our basis consists of an infinite sequence of rules which have compact and simple, readable form and depend on increasing set of variables. This gives a basis for all quasi-identities valid in the free modal algebra ℱS4 of countable rank.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  6.  15
    Unification and Admissible Rules for Paraconsistent Minimal Johanssonsʼ Logic J and Positive Intuitionistic Logic IPC.Sergei Odintsov & Vladimir Rybakov - 2013 - Annals of Pure and Applied Logic 164 (7-8):771-784.
    We study unification problem and problem of admissibility for inference rules in minimal Johanssonsʼ logic J and positive intuitionistic logic IPC+. This paper proves that the problem of admissibility for inference rules with coefficients is decidable for the paraconsistent minimal Johanssonsʼ logic J and the positive intuitionistic logic IPC+. Using obtained technique we show also that the unification problem for these logics is also decidable: we offer algorithms which compute complete sets of unifiers for any unifiable formula. Checking just unifiability (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  7.  24
    On Finite Model Property for Admissible Rules.Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner - 1999 - Mathematical Logic Quarterly 45 (4):505-520.
    Our investigation is concerned with the finite model property with respect to admissible rules. We establish general sufficient conditions for absence of fmp w. r. t. admissibility which are applicable to modal logics containing K4: Theorem 3.1 says that no logic λ containing K4 with the co-cover property and of width > 2 has fmp w. r. t. admissibility. Surprisingly many, if not to say all, important modal logics of width > 2 are within the scope of this theorem–K4 itself, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  8.  26
    Criteria for Admissibility of Inference Rules. Modal and Intermediate Logics with the Branching Property.Vladimir V. Rybakov - 1994 - Studia Logica 53 (2):203 - 225.
    The main result of this paper is the following theorem: each modal logic extendingK4 having the branching property belowm and the effective m-drop point property is decidable with respect to admissibility. A similar result is obtained for intermediate intuitionistic logics with the branching property belowm and the strong effective m-drop point property. Thus, general algorithmic criteria which allow to recognize the admissibility of inference rules for modal and intermediate logics of the above kind are found. These criteria are applicable to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  27
    Best Unifiers in Transitive Modal Logics.Vladimir V. Rybakov - 2011 - Studia Logica 99 (1-3):321-336.
    This paper offers a brief analysis of the unification problem in modal transitive logics related to the logic S4 : S4 itself, K4, Grz and Gödel-Löb provability logic GL . As a result, new, but not the first, algorithms for the construction of ‘best’ unifiers in these logics are being proposed. The proposed algorithms are based on our earlier approach to solve in an algorithmic way the admissibility problem of inference rules for S4 and Grz . The first algorithms for (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  18
    Even Tabular Modal Logics Sometimes Do Not Have Independent Base for Admissible Rules.Vladimir V. Rybakov - 1995 - Bulletin of the Section of Logic 24 (1):37-40.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  13
    A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC.Vladimir V. Rybakov, Mehmet Terziler & Vitaliy Remazki - 2000 - Mathematical Logic Quarterly 46 (2):207-218.
    We study the problem of finding a basis for all rules admissible in the intuitionistic propositional logic IPC. The main result is Theorem 3.1 which gives a basis consisting of all rules in semi-reduced form satisfying certain specific additional requirements. Using developed technique we also find a basis for rules admissible in the logic of excluded middle law KC.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Temporal Logic with Interacting Agents.Vladimir V. Rybakov - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):293-308.
  13.  6
    Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.
    The aim of this paper is to look from the point of view of admissibility of inference rules at intermediate logics having the finite model property which extend Heyting's intuitionistic propositional logic H. A semantic description for logics with the finite model property preserving all admissible inference rules for H is given. It is shown that there are continuously many logics of this kind. Three special tabular intermediate logics λ, 1 ≥ i ≥ 3, are given which describe all tabular (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  27
    Barwise's Information Frames and Modal Logics.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (3):261-277.
    The paper studies Barwise's information frames and answers the John Barwise question: to find axiomatizations for the modal logics generated by information frames. We find axiomatic systems for (i) the modal logic of all complete information frames, (ii) the logic of all sound and complete information frames, (iii) the logic of all hereditary and complete information frames, (iv) the logic of all complete, sound and hereditary information frames, and (v) the logic of all consistent and complete information frames. The notion (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  17
    Decidability: Theorems and Admissible Rules.Vladimir Rybakov - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):293-308.
    The paper deals with a temporal multi-agent logic TMAZ, which imitates taking of decisions based on agents' access to knowledge by their interaction. The interaction is modelled by possible communication channels between agents in special temporal Kripke/hintikka-like models. The logic TMAZ distinguishes local and global decisions-making. TMAZ is based on temporal Kripke/hintikka models with agents' accessibility relations defined on states of all possible time clusters C. The main result provides a decision algorithm for TMAZ. This algorithm also solves the satisfiability (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  11
    Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic.Vladimir V. Rybakov - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 93--106.
  17.  23
    Refined Common Knowledge Logics or Logics of Common Information.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (2):179-200.
    In terms of formal deductive systems and multi-dimensional Kripke frames we study logical operations know, informed, common knowledge and common information. Based on [6] we introduce formal axiomatic systems for common information logics and prove that these systems are sound and complete. Analyzing the common information operation we show that it can be understood as greatest open fixed points for knowledge formulas. Using obtained results we explore monotonicity, omniscience problem, and inward monotonocity, describe their connections and give dividing examples. Also (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  13
    Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility.Sergei Odintsov & Vladimir Rybakov - 2015 - Logica Universalis 9 (1):93-120.
    Our paper aims to investigate inference rules for Nelson’s logics and to discuss possible ways to determine admissibility of inference rules in such logics. We will use the technique offered originally for intuitionistic logic and paraconsistent minimal Johannson’s logic. However, the adaptation is not an easy and evident task since Nelson’s logics do not enjoy replacement of equivalences rule. Therefore we consider and compare standard admissibility and weak admissibility. Our paper founds algorithms for recognizing weak admissibility and admissibility itself – (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  16
    An Axiomatisation for the Multi-Modal Logic of Knowledge and Linear Time LTK.Erica Calardo & Vladimir Rybakov - 2007 - Logic Journal of the IGPL 15 (3):239-254.
    The paper aims at providing the multi-modal propositional logic LTK with a sound and complete axiomatisation. This logic combines temporal and epistemic operators and focuses on m odeling the behaviour of a set of agents operating in a system on the background of a temporal framework. Time is represented as linear and discrete, whereas knowledge is modeled as an S5-like modality. A further modal operator intended to represent environment knowledge is added to the system in order to achieve the expressive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  10
    Combining Time and Knowledge, Semantic Approach.Erica Calardo & Vladimir V. Rybakov - 2005 - Bulletin of the Section of Logic 34 (1):13-21.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  20
    A Necessary Condition for Rules to Be Admissible in Temporal Tomorrow-Logic.M. I. Golovanov, Vladimir V. Rybakov & E. M. Yurasova - 2003 - Bulletin of the Section of Logic 32 (4):213-220.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Advances in Intensional Logic.Maarten de Rijke (ed.) - 1997 - Dordrecht, Netherland: Kluwer Academic Publishers.
    Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. The present volume is a collection of carefully chosen papers, giving the reader a taste of the frontline state of research in intensional logics today. Most papers are representative of new ideas and/or new research themes. The collection would benefit the researcher as well as the student. This book (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  1
    Prince Volodymyr and Islam.R. Djabarov - 2013 - Ukrainian Religious Studies 65:240-246.
    We know that Prince Volodymyr as Saint of Russia was eventually canonized and proclaimed the saintly saint of God. And in regard to its connection with the Muslim religion, then the domestic authorities from the historical science - such as Karamzin, Tatishchev, Kostomarov, Solovyov, Hrushevsky, Grekov, Tolochko, and even Rybakov and even Gumilev - did not have significant differences. None of them doubted the historical truthfulness of centuries of "trodden" theory of Vladimir's choice of the Great State religion.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  13
    Vladimir Ruml.Vladimir Ruml - 1960 - Atti Del XII Congresso Internazionale di Filosofia 3:483-485.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Vladimir Jankélévitch Ou de L'Effectivité. Présentation, Choix de Textes, Bibliographie Par Lucien Jerphagnon.Vladimir Jankélévitch & Lucien Jerphagnon - 1969 - Seghers.
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  1
    Letter From Vladimir V. Mironov to Aleksandr V. Mikhailovsky.Vladimir V. Mironov - 2021 - Russian Studies in Philosophy 59 (3):243-245.
    My dear Aleksandr!I have finally found some quiet time for a slow and attentive read of your article “The Beginning of the Black Notebooks.”1 I very much liked the article, especially for your trul...
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  17
    Letter of Vladimir Solovief to L. M. Tolstoy.Vladimir Solovief - 1928 - New Blackfriars 9 (104):663-668.
  28.  5
    Divine Sophia: The Wisdom Writings of Vladimir Solovyov.Vladimir Sergeyevich Solovyov - 2009 - Cornell University Press.
    "This personification of wisdom with golden hair and a radiant aura echoes both the eternal feminine and the world soul. Rooted in Christian and Jewish mysticism, Eastern Orthodox iconography, Greek philosophy, and European romanticism, the Sophiology that suffuses Solovyov's philosophical and artistic works is both intellectually sophisticated and profoundly inspiring. Judith Deutsch Kornblatt brings together key texts from Solovyov's writings about Sophia: poetry, fiction, drama, and philosophy, all extensively annotated and some available in English for the first time (with assistance (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Godmanhood as the Main Idea of the Philosophy of Vladimir Solovyev.Vladimir Sergeyevich Solovyov - 1944 - [Poughkeepsie, N.Y., Harmon Printing House.
     
    Export citation  
     
    Bookmark  
  30.  33
    Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
    We investigate logical consequence in temporal logics in terms of logical consecutions. i.e., inference rules. First, we discuss the question: what does it mean for a logical consecution to be 'correct' in a propositional logic. We consider both valid and admissible consecutions in linear temporal logics and discuss the distinction between these two notions. The linear temporal logic LDTL, consisting of all formulas valid in the frame 〈L, ≤, ≥〉 of all integer numbers, is the prime object of our investigation. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  31. Blame, Not Ability, Impacts Moral “Ought” Judgments for Impossible Actions: Toward an Empirical Refutation of “Ought” Implies “Can”.Vladimir Chituc, Paul Henne, Walter Sinnott-Armstrong & Felipe De Brigard - 2016 - Cognition 150:20-25.
    Recently, psychologists have explored moral concepts including obligation, blame, and ability. While little empirical work has studied the relationships among these concepts, philosophers have widely assumed such a relationship in the principle that “ought” implies “can,” which states that if someone ought to do something, then they must be able to do it. The cognitive underpinnings of these concepts are tested in the three experiments reported here. In Experiment 1, most participants judge that an agent ought to keep a promise (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  32.  26
    A Modal Analog for Glivenko's Theorem and its Applications.V. V. Rybakov - 1992 - Notre Dame Journal of Formal Logic 33 (2):244-248.
  33.  16
    Environment and Complexity of Organizations.Leonid A. Rybakov - 2001 - Emergence: Complexity and Organization 3 (4):83-94.
  34.  52
    Vladimir Solovyov, Nicolai Hartmann, and Levels of Reality.Frédéric Tremblay - 2017 - Axiomathes 27 (2):133-146.
    One of the trademarks of Nicolai Hartmann’s ontology is his theory of levels of reality. Hartmann drew from many sources to develop his version of the theory. His essay “Die Anfänge des Schichtungsgedankens in der alten Philosophie” testifies of the fact that he drew from Plato, Aristotle, and Plotinus. But this text was written relatively late in Hartmann’s career, which suggests that his interest in the theories of levels of the ancients may have been retrospective. In “Nicolai Hartmann und seine (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Axiomatizing the Next-Interior Fragment of Dynamic Topological Logic.Philip Kremer, Grigori Mints & V. Rybakov - 1997 - Bulletin of Symbolic Logic 3:376-377.
  36. Can You Lie Without Intending to Deceive?Vladimir Krstić - 2019 - Pacific Philosophical Quarterly 100 (2):642–660.
    This article defends the view that liars need not intend to deceive. I present common objections to this view in detail and then propose a case of a liar who can lie but who cannot deceive in any relevant sense. I then modify this case to get a situation in which this person lies intending to tell his hearer the truth and he does this by way of getting the hearer to recognize his intention to tell the truth by lying. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  37.  33
    Aesthetic Trinity Theory and the Sublime.Vladimir J. Konečni - 2011 - Philosophy Today 55 (1):64-73.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  38. From Perceptual Categories to Concepts: What Develops?Vladimir M. Sloutsky - 2010 - Cognitive Science 34 (7):1244-1286.
    People are remarkably smart: They use language, possess complex motor skills, make nontrivial inferences, develop and use scientific theories, make laws, and adapt to complex dynamic environments. Much of this knowledge requires concepts and this study focuses on how people acquire concepts. It is argued that conceptual development progresses from simple perceptual grouping to highly abstract scientific concepts. This proposal of conceptual development has four parts. First, it is argued that categories in the world have different structure. Second, there might (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  39.  11
    Complexity and Expressivity of Propositional Dynamic Logics with Finitely Many Variables.Mikhail Rybakov & Dmitry Shkatov - 2018 - Logic Journal of the IGPL 26 (5):539-547.
  40.  6
    Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules. [REVIEW]Marcus Kracht - 1999 - Notre Dame Journal of Formal Logic 40 (4):578-587.
  41. Le Paradoxe de la Morale.Vladimir Jankélévitch - 1981
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  42. The Role of Similarity in the Development of Categorization.Vladimir M. Sloutsky - 2003 - Trends in Cognitive Sciences 7 (6):246-251.
  43.  2
    Forgiveness.Vladimir Jankélévitch - 2005 - University of Chicago Press.
    Philosopher Vladimir Jankélévitch has only recently begun to receive his due from the English-speaking world, thanks in part to discussions of his thought by Jacques Derrida, Emmanuel Lévinas, and Paul Ricoeur. His international readers have long valued his unique, interdisciplinary approach to philosophy’s greatest questions and his highly readable writing style. Originally published in 1967, Le Pardon, or Forgiveness, is one of Jankélévitch’s most influential works. In it, he characterizes the ultimate ethical act of forgiving as behaving toward the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  44.  10
    Complexity of Finite-Variable Fragments of Propositional Modal Logics of Symmetric Frames.Mikhail Rybakov & Dmitry Shkatov - forthcoming - Logic Journal of the IGPL.
  45.  13
    Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus.V. V. Rybakov - 1990 - Annals of Pure and Applied Logic 50 (1):71-106.
    Questions connected with the admissibility of rules of inference and the solvability of the substitution problem for modal and intuitionistic logic are considered in an algebraic framework. The main result is the decidability of the universal theory of the free modal algebra imageω extended in signature by adding constants for free generators. As corollaries we obtain: there exists an algorithm for the recognition of admissibility of rules with parameters in the modal system Grz, the substitution problem for Grz and for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  46. Deception (Under Uncertainty) as a Kind of Manipulation.Vladimir Krstić & Chantelle Saville - 2019 - Australasian Journal of Philosophy 97 (4):830-835.
    In his 2018 AJP paper, Shlomo Cohen hints that deception could be a distinct subset of manipulation. We pursue this thought further, but by arguing that Cohen’s accounts of deception and manipulation are incorrect. Deception under uncertainty need not involve adding false premises to the victim’s reasoning but it must involve manipulating her response, and cases of manipulation that do not interfere with the victim’s reasoning, but rather utilize it, also exist. Therefore, deception under uncertainty must be constituted by covert (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47. On the Nature of Indifferent Lies, a Reply to Rutschmann and Wiegmann.Vladimir Krstić - 2020 - Philosophical Psychology 33 (5):757-771.
    In their paper published in 2017 in Philosophical Psychology, Ronja Rutschmann and Alex Wiegmann introduce a novel kind of lies, the indifferent lies. According to them, these lies are not intended to deceive simply because the liars do not care whether their audience is going to believe them or not. It seems as if indifferent lies avoid the objections raised against other kinds of lies supposedly not intended to deceive. I argue that this is not correct. Indifferent lies, too, are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  5
    A New Line of Research: Synergetic Philosophy and Sociology of Personality.Vladimir Branskij, Kadzhik M. Oganyan & Karina K. Oganyan - 2018 - Wisdom 10 (1):57-72.
    The research of the synergetic philosophy of history leads to a fundamentally new approach to the study of personality and rational understanding of the meaning of life. The heuristic role in the history synergetic philosophy is argued in the structuring of a new human philosophy in the context of the self-organization of man and mankind. It is this aspect that is specific to the synergetic philosophy of man.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  49.  17
    Induction and Categorization in Young Children: A Similarity-Based Model.Vladimir M. Sloutsky & Anna V. Fisher - 2004 - Journal of Experimental Psychology: General 133 (2):166-188.
  50.  13
    Linear Temporal Logic with Until and Next, Logical Consecutions.V. Rybakov - 2008 - Annals of Pure and Applied Logic 155 (1):32-45.
    While specifications and verifications of concurrent systems employ Linear Temporal Logic , it is increasingly likely that logical consequence in image will be used in the description of computations and parallel reasoning. Our paper considers logical consequence in the standard image with temporal operations image and image . The prime result is an algorithm recognizing consecutions admissible in image, so we prove that image is decidable w.r.t. admissible inference rules. As a consequence we obtain algorithms verifying the validity of consecutions (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
1 — 50 / 1000