Results for 'Nikitin Grigory'

157 found
Order:
  1.  52
    Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic.Grigory K. Olkhovikov & Heinrich Wansing - 2019 - Studia Logica 107 (1):167-194.
    In this paper we consider logical inference as an activity that results in proofs and hence produces knowledge. We suggest to merge the semantical analysis of deliberatively seeing-to-it-that from stit theory and the semantics of the epistemic logic with justification from. The general idea is to understand proving that A as seeing to it that a proof of A is available. We introduce a semantics of various notions of proving as an activity and present a number of valid principles that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  28
    Simplified Tableaux for STIT Imagination Logic.Grigory K. Olkhovikov & Heinrich Wansing - 2019 - Journal of Philosophical Logic 48 (6):981-1001.
    We show how to correct the analytic tableaux system from the paper Olkhovikov and Wansing, 259–279, 2018).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  62
    An Axiomatic System and a Tableau Calculus for STIT Imagination Logic.Grigory K. Olkhovikov & Heinrich Wansing - 2018 - Journal of Philosophical Logic 47 (2):259-279.
    We formulate a Hilbert-style axiomatic system and a tableau calculus for the STIT-based logic of imagination recently proposed in Wansing. Completeness of the axiom system is shown by the method of canonical models; completeness of the tableau system is also shown by using standard methods.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  4.  41
    On flattening elimination rules.Grigory K. Olkhovikov & Peter Schroeder-Heister - 2014 - Review of Symbolic Logic 7 (1):60-72.
  5.  25
    An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic.Grigory Olkhovikov - 2024 - Journal of Philosophical Logic 53 (5).
    We introduce a basic intuitionistic conditional logic \(\textsf{IntCK}\) that we show to be complete both relative to a special type of Kripke models and relative to a standard translation into first-order intuitionistic logic. We show that \(\textsf{IntCK}\) stands in a very natural relation to other similar logics, like the basic classical conditional logic \(\textsf{CK}\) and the basic intuitionistic modal logic \(\textsf{IK}\). As for the basic intuitionistic conditional logic \(\textsf{ICK}\) proposed in Weiss (_Journal of Philosophical Logic_, _48_, 447–469, 2019 ), \(\textsf{IntCK}\) (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  46
    Model-theoretic characterization of intuitionistic propositional formulas.Grigory K. Olkhovikov - 2013 - Review of Symbolic Logic 6 (2):348-365.
    Notions of k-asimulation and asimulation are introduced as asymmetric counterparts to k-bisimulation and bisimulation, respectively. It is proved that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to k-asimulations for some k, and then that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to asimulations. Finally, it is proved that a first-order formula is equivalent to a (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  7.  5
    Response to “The conceptual Injustice of the brain death standard”.Grigory Ostrovskiy - forthcoming - Theoretical Medicine and Bioethics:1-3.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Cколько стоятъ въ Лондонѣ галоши.Grigori Utgof - 2012 - Sign Systems Studies 40 (1-2):244-258.
    Summing up the ideas expressed in the most influential articles on the semantic halo of the Russian trochaic pentameter, scholars tend to avoid one particularly tricky question: how many units – and what kind of units – are needed to detect extra layers of meaning in a particular text? While the article of Kiril Taranovsky “О взаимоотношении стихотворного ритма и тематики” had implied that the source of these meanings (e.g. the dynamic theme of the journey) should be sought in a (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  9.  27
    Securing genome stability by orchestrating DNA repair: removal of radiation‐induced clustered lesions in DNA.Grigory L. Dianov, Peter O'Neill & Dudley T. Goodhead - 2001 - Bioessays 23 (8):745-749.
    In addition to double‐ and single‐strand DNA breaks and isolated base modifications, ionizing radiation induces clustered DNA damage, which contains two or more lesions closely spaced within about two helical turns on opposite DNA strands. Post‐irradiation repair of single‐base lesions is routinely performed by base excision repair and a DNA strand break is involved as an intermediate. Simultaneous processing of lesions on opposite DNA strands may generate double‐strand DNA breaks and enhance nonhomologous end joining, which frequently results in the formation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  5
    Predmet filosofii -- kachestvennye preobrazovanii︠a︡.I︠U︡riĭ Grigori︠a︡n - 2018 - Moskva: Izdatelʹstvo "Vesʹ Mir".
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  13
    Fixed points in the propositional nonmonotonic logic.Grigory F. Shvarts - 1989 - Artificial Intelligence 38 (2):199-206.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  15
    Non-Deterministic Epsilon Substitution for ID1: Effective Proof.Grigori Mints - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger, Logic, Construction, Computation. De Gruyter. pp. 325-342.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  54
    On expressive power of basic modal intuitionistic logic as a fragment of classical FOL.Grigory K. Olkhovikov - 2017 - Journal of Applied Logic 21:57-90.
  14.  24
    On generalized Van Benthem-type characterizations.Grigory K. Olkhovikov - 2017 - Annals of Pure and Applied Logic 168 (9):1643-1691.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  16
    Minimal knowledge problem: A new approach.Grigori Schwarz & Mirosław Truszczyński - 1994 - Artificial Intelligence 67 (1):113-141.
  16.  23
    Presence and absence of προαίρεσις in Christ and saints according to Maximus the Confessor and parallels in Neoplatonism.Grigory Benevich - 2018 - Byzantinische Zeitschrift 111 (1):39-54.
    The article shows that prior to the debate with the Monothelites, Maximus the Confessor followed the Christian tradition going back to Gregory of Nyssa in recognizing the presence of προαίρεσις in Christ and the saints. Later during the debate, Maximus declined to apply προαίρεσις to Christ and started to speak about the deactivation of προαίρεσις in the saints in the state of deification. Maximus was the first Orthodox author who distinguished deliberate choice and natural will, and defended the presence of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Idei︠a︡ prava.Grigorīĭ Vasilʹevich Demchenko - 1908 - Kīev,:
     
    Export citation  
     
    Bookmark  
  18. Klassifikat︠s︡īi︠a︡ i︠a︡vleniĭ i︠u︡ridicheskago byta, otnosimykh k sluchai︠a︡m primi︠e︡nenii︠a︡ fikt︠s︡iĭ.Grigorīĭ Fedorovich Dermidontov - 1895 - Kazanʹ,:
     
    Export citation  
     
    Bookmark  
  19. Literatura i teorii︠a︡.Ar Grigori︠a︡n - 1976 - Erevan: Sovetakan grokh.
     
    Export citation  
     
    Bookmark  
  20. Sovremennai︠a︡ filosofskai︠a︡ i sot︠s︡iologicheskai︠a︡ myslʹ stran Vostoka.S. N. Grigori︠a︡n (ed.) - 1965 - Moskva: Nauka, Glav. red. vostochnoĭ lit-ry.
     
    Export citation  
     
    Bookmark  
  21. Velikie mysliteli Sredneĭ Azii.Sergeĭ Nikolaevich Grigori︠a︡n - 1958
  22.  76
    Cut Elimination for S4C: A Case Study.Grigori Mints - 2006 - Studia Logica 82 (1):121-132.
    S4C is a logic of continuous transformations of a topological space. Cut elimination for it requires new kind of rules and new kinds of reductions.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  18
    Transfer of sequent calculus strategies to resolution for S4.Grigori Mints, Vladimir Orevkov & Tanel Tammet - 1996 - In Heinrich Wansing, Proof theory of modal logic. Boston: Kluwer Academic Publishers. pp. 2--17.
  24.  6
    Phenomenon of Intuitive Understanding of Speech Acts as a Solution to Kripke’s Problem.Grigory A. Zolotkov - 2024 - Epistemology and Philosophy of Science 61 (2):77-82.
    The paper discusses a solution to Kripke’s skeptical problem proposed by E.V. Borisov. It shows that this solution is based on the idea of “introspection2”, i.e. intuitive knowledge of meaning, which: a) is an essential part of a speech act, b) is given in our immediate experience and c) doesn’t form a source of empirical facts. The author of the paper admits the significance of the proposed idea for the discussion of the skeptical problem. Nevertheless, he argues that: 1) as (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  5
    Justice.Grigory Kanarsh - 2018 - Philosophical Anthropology 4 (1):244-262.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  13
    A basic system of paraconsistent Nelsonian logic of conditionals.Grigory K. Olkhovikov - 2024 - Journal of Logic, Language and Information 33 (4):299-337.
    We define a Kripke semantics for a conditional logic based on the propositional logic $$\textsf{N4}$$ N 4, the paraconsistent variant of Nelson’s logic of strong negation; we axiomatize the minimal system induced by this semantics. The resulting logic, which we call $$\textsf{N4CK}$$ N 4 CK, shows strong connections both with the basic intuitionistic logic of conditionals $$\textsf{IntCK}$$ IntCK introduced earlier in (Olkhovikov, 2023) and with the $$\textsf{N4}$$ N 4 -based modal logic $$\textsf{FSK}^d$$ FSK d introduced in (Odintsov and Wansing, 2004) (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  15
    Description sémantique des noms de doctrines et d’attitudes suffixés en -isme.Grigory Agabalian - 2020 - Corela. Cognition, Représentation, Langage 18.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  27
    Maximus Confessor’s polemics against Tritheism and his Trinitarian teaching.Grigory Benevich - 2012 - Byzantinische Zeitschrift 105 (2).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. Iz istorii filosofii Sredneĭ Azii i Irana.Sergeĭ Nikolaevich Grigori︠a︡n - 1960
  30.  21
    Poetic Interplay: Catullus and Horace (review).Grigory Starikovsky - 2008 - Classical World: A Quarterly Journal on Antiquity 101 (4):557-558.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  13
    On the “Invisible Hand” by Adam Smith and the formation of the scientific picture of the social world.Grigory Antipov - 2017 - Epistemology and Philosophy of Science 51 (1):138-152.
    The expression “the invisible hand of the market” (from the Adam Smith’s “Wealth of Nations”) sometimes acquires in modern ecomomical and everyday journalism the most unexpected overtones, like “why “the invisible hand of the market» totally disregard writer”? In the area of the scientific economic thinking “the «invisible hand” is interpreted as the objective market mechanism which coordinates the decisions of buyers and sellers. The attempts to analyze the epistemological status of “the invisible hand” are quite rare, especially in the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  9
    Museology as a humanitarian science.Grigory Ivanovich Gerasimov - 2022 - Философия И Культура 4:113-125.
    The purpose of the article is to substantiate the main theoretical and methodological provisions of museology as a humanitarian science. Its basic concepts are formulated from idealistic positions, its methodology is defined. As an object, the ideas of a person who creates a museum reality to achieve influence on the consciousness of other people are considered. The idea of a particular museum, realized in objective reality, is defined as the subject. The subject of museology is also the process of realization (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  61
    Framework for a new dialogue between psychoanalysis and neurosciences: is the combined neuro-psychoanalytic approach the missing link?Grigoris Vaslamatzis - 2007 - Philosophy, Ethics, and Humanities in Medicine 2:25-.
    Freud's legacy deriving from his work The project for a scientific psychology (1895) could give a new impetus to the dialogue between psychoanalysis and neurosciences. A rapproachment phase is warrented. Based on the work of psychoanalysts who are themselves neuroscientists (such as Mauro Mancia, Martha Koukkou and Harold Shevrin) or have a long term dialogue with neuroscientists (Arnold Modell), three points of epistemological congruence are described: dualism is no longer a satisfactory solutioncautions for the centrality of interpretation (hermeneutics)the self-criticism of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  34.  27
    Theory of Subecumenics: Originality of Eastern Cultures.Grigori S. Pomerantz & Jeanne Ferguson - 1979 - Diogenes 27 (107):1-23.
    Our thinking is still the captive of the dichotomy “national/ international.” The reaction to nationalism takes the form of an abstract internationalism, and reaction to internationalism leads to the rebirth of nationalism. However, this dichotomy was only true (and that relatively) in 19th century Europe, or at the latest, at the beginning of the twentieth century, when subnational cultures seemed on the way to disappearing, and everything European was considered “universal” (two hypotheses that the facts prove to be untrue). As (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  13
    The Welfare State as a Practice of Compromise: European Models.Grigory Y. Kanarsh - 2020 - Russian Journal of Philosophical Sciences 63 (3):142-159.
    The article analyzes the features of three main models of the welfare state: German, Northern European, and Anglo-Saxon. The author turns to the analysis of these models, first, because the problem of the welfare state in the world is again coming to the fore, and secondly, because social development in the most developed countries, in the author’s opinion, in the future will be largely determined by the values and behavioral models that are embedded in the three main versions of the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  10
    Das ‚Schisma von 1054‘ als mikro- und makrohistorisches Ereignis. Überlegungen zu einem theologisch-kirchenpolitischen Erklärungsmodell.Grigori Khislavski - 2021 - Millennium 18 (1):405-482.
    This article will formulate an explanatory model in which all the specifics of the controversy between Rome and Constantinople in the schism of 1054 will be considered in theological and ecclesiastical-political terms. Thus, both the complexity of the historical context and the diversity of the motives of its protagonists will be taken into account. In a first step, the current state of research on the events of 1054 will be presented, before confronting it with open questions in a second step. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  39
    The complexity of the disjunction and existential properties in intuitionistic logic.Sam Buss & Grigori Mints - 1999 - Annals of Pure and Applied Logic 99 (1-3):93-104.
    This paper considers the computational complexity of the disjunction and existential properties of intuitionistic logic. We prove that the disjunction property holds feasibly for intuitionistic propositional logic; i.e., from a proof of A v B, a proof either of A or of B can be found in polynomial time. For intuitionistic predicate logic, we prove superexponential lower bounds for the disjunction property, namely, there is a superexponential lower bound on the time required, given a proof of A v B, to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  38.  15
    In search of a “true” logic of knowledge: the nonmonotonic perspective.Grigori Schwarz - 1995 - Artificial Intelligence 79 (1):39-63.
  39.  16
    On embedding default logic into Moore's autoepistemic logic.Grigori Schwarz - 1996 - Artificial Intelligence 80 (2):349-359.
  40.  21
    A Lindström theorem for intuitionistic first-order logic.Grigory Olkhovikov, Guillermo Badia & Reihane Zoghifard - 2023 - Annals of Pure and Applied Logic 174 (10):103346.
  41.  50
    Indexed systems of sequents and cut-elimination.Grigori Mints - 1997 - Journal of Philosophical Logic 26 (6):671-696.
    Cut reductions are defined for a Kripke-style formulation of modal logic in terms of indexed systems of sequents. A detailed proof of the normalization (cutelimination) theorem is given. The proof is uniform for the propositional modal systems with all combinations of reflexivity, symmetry and transitivity for the accessibility relation. Some new transformations of derivations (compared to standard sequent formulations) are needed, and some additional properties are to be checked. The display formulations [1] of the systems considered can be presented as (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  42.  63
    Epsilon substitution method for elementary analysis.Grigori Mints, Sergei Tupailo & Wilfried Buchholz - 1996 - Archive for Mathematical Logic 35 (2):103-130.
    We formulate epsilon substitution method for elementary analysisEA (second order arithmetic with comprehension for arithmetical formulas with predicate parameters). Two proofs of its termination are presented. One uses embedding into ramified system of level one and cutelimination for this system. The second proof uses non-effective continuity argument.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  43.  16
    Reineke, Martha. Intimate Domain: Desire, Trauma, and Mimetic Theory.Iulia Grigorie - 2018 - Philosophical Journal of Conflict and Violence 2 (1).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  14
    Restricted Interpolation and Lack Thereof in Stit Logic.Grigory K. Olkhovikov - 2020 - Review of Symbolic Logic 13 (3):459-482.
    We consider the propositional logic equipped withChellas stitoperators for a finite set of individual agents plus the historical necessity modality. We settle the question of whether such a logic enjoys restricted interpolation property, which requires the existence of an interpolant only in cases where the consequence contains no Chellas stit operators occurring in the premise. We show that if action operators count as logical symbols, then such a logic has restricted interpolation property iff the number of agents does not exceed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  28
    A short introduction to intuitionistic logic.Grigori Mints - 2000 - New York: Kluwer Academic / Plenum Publishers.
    Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  46.  39
    The Economic Accomplices to the Argentine Dictatorship: Outstanding Debts by Horacio Verbitsky and Juan Pablo Bohoslavsky, eds.: New York and Cambridge: Cambridge University Press, 2016. [REVIEW]Grigoris Markou - 2018 - Human Rights Review 19 (1):127-128.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  38
    A Short Introduction to Modal Logic.Grigori Mints - 1992 - Stanford, CA, USA: Center for the Study of Language and Information.
    A Short Introduction to Modal Logic presents both semantic and syntactic features of the subject and illustrates them by detailed analyses of the three best-known modal systems S5, S4 and T. The book concentrates on the logical aspects of ...
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  48.  10
    Craig Interpolation Theorem Fails in Bi-Intuitionistic Predicate Logic.Grigory K. Olkhovikov & Guillermo Badia - 2024 - Review of Symbolic Logic 17 (2):611-633.
    In this article we show that bi-intuitionistic predicate logic lacks the Craig Interpolation Property. We proceed by adapting the counterexample given by Mints, Olkhovikov and Urquhart for intuitionistic predicate logic with constant domains [13]. More precisely, we show that there is a valid implication $\phi \rightarrow \psi $ with no interpolant. Importantly, this result does not contradict the unfortunately named ‘Craig interpolation’ theorem established by Rauszer in [24] since that article is about the property more correctly named ‘deductive interpolation’ (see (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  25
    Inference as doxastic agency. Part II: Ramifications and refinements.Heinrich Wansing & Grigory K. Olkhovikov - 2017 - Australasian Journal of Logic 14 (4):408-438.
    Justification stit logic is a logic for reasoning about proving as a certain kind of activity, namely seeing to it that a proof is publicly available. It merges the semantical analysis of deliberatively seeing-to-it-that from stit theory and the semantics of the epistemic logic with justification from. In this paper, after recalling its language and basic semantical definitions, various ramifications and refinements of justification stit logic are presented and discussed: imposing natural restrictions upon the class of models under consideration, making (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  23
    A simple proof of second-order strong normalization with permutative conversions.Makoto Tatsuta & Grigori Mints - 2005 - Annals of Pure and Applied Logic 136 (1-2):134-155.
    A simple and complete proof of strong normalization for first- and second-order intuitionistic natural deduction including disjunction, first-order existence and permutative conversions is given. The paper follows the Tait–Girard approach via computability predicates and saturated sets. Strong normalization is first established for a set of conversions of a new kind, then deduced for the standard conversions. Difficulties arising for disjunction are resolved using a new logic where disjunction is restricted to atomic formulas.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 157