Results for 'Mikhail Gradovski'

(not author) ( search as author name )
949 found
Order:
  1.  30
    The use of the dialogue concepts from the arsenal of the Norwegian dialogue pedagogy in the time of postmodernism.Mikhail Gradovski - 2012 - Ethics and Education 7 (2):175-184.
    Inspired by the views by the American educationalist Henry Giroux on the role teachers and educationalists should be playing in the time of postmodernism and by Abraham Maslow's concept of biological idioscyncrasy, the author discusses how the concepts of the dialogues created by the representatives of Norwegian Dialogue Pedagogy, Hans Skjervheim, Jon Hellesnes, and Lars Løvlie, can be applied in the area of higher education. The aim of pedagogy in the time of postmodernism is to provide learners with knowledge and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  7
    The legacy of the suprematist square for a sensing pedagogy: A non-objective creative contemplation for education.E. Jayne White & Mikhail Gradovski - 2021 - Educational Philosophy and Theory 53 (7):740-748.
    While Kazimir Malevich is widely known for his suprematist contributions to art, little attention has been granted to his articulated philosophical premise and methodological manifestation concerning the non-objectivity of thought and its relationship to feeling. This paper shows how Suprematist philosophy gives rise to the concept of pedagogical sensing that was first characterized by UNOVIS. Casting Suprematist aspersions on dominant educational practices that seek to reproduce what seemingly ‘is’, a non-objective collapse of all-too-certain frames is replaced by abstract essence. As (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Obshchie print︠s︡ipy organizat︠s︡ii sistem i ikh metodologicheskoe znachenie.Mikhail Ionovich Setrov - 1971
     
    Export citation  
     
    Bookmark  
  4.  73
    Elements of Moral Cognition: Rawls' Linguistic Analogy and the Cognitive Science of Moral and Legal Judgment.John Mikhail - 2009 - New York: Cambridge University Press.
    Is the science of moral cognition usefully modelled on aspects of Universal Grammar? Are human beings born with an innate 'moral grammar' that causes them to analyse human action in terms of its moral structure, with just as little awareness as they analyse human speech in terms of its grammatical structure? Questions like these have been at the forefront of moral psychology ever since John Mikhail revived them in his influential work on the linguistic analogy and its implications for (...)
    Direct download  
     
    Export citation  
     
    Bookmark   95 citations  
  5.  18
    LTP and reinforcement: Possible role of the monoaminergic systems.Mikhail N. Zhadin - 2000 - Behavioral and Brain Sciences 23 (2):287-288.
    The absence of a clear influence of the responses modified by new connections created by LTP on the development of these connections casts doubt on an essential role of LTP in learning and memory formation without any association with reinforcement. The evidence for the involvement of the monoaminergic systems in synaptic potentiation in the cerebral cortex during learning is adduced, and their role in reinforcement system function is discussed.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  6.  20
    Problems of Dostoevsky’s Poetics.Mikhail Mikhaĭlovich Bakhtin - 1984 - Univ of Minnesota Press.
    This book is not only a major twentieth-century contribution to Dostoevsky’s studies, but also one of the most important theories of the novel produced in our century. As a modern reinterpretation of poetics, it bears comparison with Aristotle.“Bakhtin’s statement on the dialogical nature of artistic creation, and his differentiation of this from a history of monological commentary, is profoundly original and illuminating. This is a classic work on Dostoevsky and a statement of importance to critical theory.” Edward Wasiolek“Concentrating on the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   194 citations  
  7. Exploitation and injustice.Mikhail Valdman - 2008 - Social Theory and Practice 34 (4):551--572.
    When is it immoral to take advantage of another person for one's own benefit? For some, such as Ruth Sample, John Roemer, and Will Kymlicka, the answer at least partly depends on whether what one takes advantage of is the fact that this person is, or has been, the victim of injustice. I argue, however, that whether person A wrongly exploits person B is wholly unrelated to whether A takes advantage of the fact that B is, or was, the victim (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  8. Rabelais and His World.Mikhail Bakhtin - unknown
    No categories
     
    Export citation  
     
    Bookmark   203 citations  
  9. Universal moral grammar: Theory, evidence, and the future.John Mikhail - 2007 - Trends in Cognitive Sciences 11 (4):143 –152.
    Scientists from various disciplines have begun to focus attention on the psychology and biology of human morality. One research program that has recently gained attention is universal moral grammar (UMG). UMG seeks to describe the nature and origin of moral knowledge by using concepts and models similar to those used in Chomsky's program in linguistics. This approach is thought to provide a fruitful perspective from which to investigate moral competence from computational, ontogenetic, behavioral, physiological and phylogenetic perspectives. In this article, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   221 citations  
  10.  9
    Defeat as victory and the living death: The case of ustrialov.Mikhail Agursky - 1984 - History of European Ideas 5 (2):165-180.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  15
    The Politics of Apocalypse.Mikhail Epstein - 2023 - Common Knowledge 29 (2):141-172.
    This guest column examines the historical fate of Russia in its catastrophic confrontation with Ukraine and the West. The piece considers the negative self-definitions of Russia that have arisen in the aftermath of the communist utopia and its virtual transformation into an anti-world — a society whose purpose is to undermine and destroy. Emerging Russian cults of war, death, and apocalypticism are stressed, as are the paradoxes and inversions by which Russia, in attempting to become stronger, becomes weaker and indeed (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  33
    Complexity of intuitionistic propositional logic and its fragments.Mikhail Rybakov - 2008 - Journal of Applied Non-Classical Logics 18 (2):267-292.
    In the paper we consider complexity of intuitionistic propositional logic and its natural fragments such as implicative fragment, finite-variable fragments, and some others. Most facts we mention here are known and obtained by logicians from different countries and in different time since 1920s; we present these results together to see the whole picture.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13.  18
    Elements of moral cognition: Rawls' linguistic analogy and the cognitive science of moral and legal judgment.John Mikhail - 2009 - New York: Cambridge University Press.
    The aim of the dissertation is to formulate a research program in moral cognition modeled on aspects of Universal Grammar and organized around three classic problems in moral epistemology: What constitutes moral knowledge? How is moral knowledge acquired? How is moral knowledge put to use? Drawing on the work of Rawls and Chomsky, a framework for investigating -- is proposed. The framework is defended against a range of philosophical objections and contrasted with the approach of developmentalists like Piaget and Kohlberg. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   53 citations  
  14.  62
    A modal logic framework for reasoning about comparative distances and topology.Mikhail Sheremet, Frank Wolter & Michael Zakharyaschev - 2010 - Annals of Pure and Applied Logic 161 (4):534-559.
    We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the comparison and combination of logics from distinct research traditions such as Tarski’s for topological closure and interior, conditional logics, and logics of comparative similarity. This framework is obtained by decomposing the underlying modal-like operators into first-order quantifier patterns. We then show that quite a powerful and natural fragment of the resulting first-order logic can be (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  15. Heteroglassia in the novel.Mikhail Bakhtin - 2000 - In Clive Cazeaux (ed.), The Continental Aesthetics Reader. New York: Routledge.
     
    Export citation  
     
    Bookmark  
  16.  2
    Theoretical aspects and discursive practice of the right-wing ideology in the political processes of modern Europe.Mikhail Golovin - 2020 - Sotsium I Vlast 2:29-40.
    Introduction. The article discusses the main approaches to the concept “right radicalism” in modern Russian and foreign political science. In addition, the author shows how actors in political processes use ideology in the framework of political struggle as exemplified by the ideological discourse of the far-right British National Party. The aim of the study is to trace the specifics of constructing the nationalist discourse of the rightwing political forces in modern Europe (using the example of the British National Party) and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  23
    Intertextual analysis today.Mikhail Gasparov - 2002 - Sign Systems Studies 30 (2):645-651.
    Mikhail L. Gasparov. Intertextual analysis today. The paper provides a discussion about recent results and perspectives of intertextual analysis — the method that has been a contemporary with Tartu-Moscow school. The connections between the classical philological methods and intertextual analysis are described, together with specifying the concept of intertext and emphasizing the need for the correctness of a researcher, because such an analysis always carries a danger of overinterpretation. Several examples are used to illustrate how the imagination of a (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18.  32
    Intertextual analysis today.Mikhail Gasparov - 2002 - Sign Systems Studies 30 (2):645-651.
    Mikhail L. Gasparov. Intertextual analysis today. The paper provides a discussion about recent results and perspectives of intertextual analysis — the method that has been a contemporary with Tartu-Moscow school. The connections between the classical philological methods and intertextual analysis are described, together with specifying the concept of intertext and emphasizing the need for the correctness of a researcher, because such an analysis always carries a danger of overinterpretation. Several examples are used to illustrate how the imagination of a (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  28
    Intertextual analysis today.Mikhail Gasparov - 2002 - Sign Systems Studies 30 (2):645-651.
    Mikhail L. Gasparov. Intertextual analysis today. The paper provides a discussion about recent results and perspectives of intertextual analysis — the method that has been a contemporary with Tartu-Moscow school. The connections between the classical philological methods and intertextual analysis are described, together with specifying the concept of intertext and emphasizing the need for the correctness of a researcher, because such an analysis always carries a danger of overinterpretation. Several examples are used to illustrate how the imagination of a (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. A theory of wrongful exploitation.Mikhail Valdman - 2009 - Philosophers' Imprint 9:1-14.
    My primary aims in this paper are to explain what exploitation is, when it’s wrong, and what makes it wrong. I argue that exploitation is not always wrong, but that it can be, and that its wrongness cannot be fully explained with familiar moral constraints such as those against harming people, coercing them, or using them as a means, or with familiar moral obligations such as an obligation to rescue those in distress or not to take advantage of people’s vulnerabilities. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   52 citations  
  21.  23
    God and the state.Mikhail Bakunin - unknown
  22.  12
    From Utterances to Speech Acts.Mikhail Kissine - 2013 - Cambridge University Press.
    Most of the time our utterances are automatically interpreted as speech acts: as assertions, conjectures and testimonies; as orders, requests and pleas; as threats, offers and promises. Surprisingly, the cognitive correlates of this essential component of human communication have received little attention. This book fills the gap by providing a model of the psychological processes involved in interpreting and understanding speech acts. The theory is framed in naturalistic terms and is supported by data on language development and on autism spectrum (...)
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  23.  9
    Identity crisis and social dissociation in control societies.Mikhail Mikhailovich Abramychev & Bogdan Yurievich Gromov - 2022 - Философия И Культура 7:96-108.
    The article is devoted to the problem of the naming crisis of modern society. The sequences by which the social and cultural history of the West is ordered, represented by the evolution of economics, technology, religion, forms of capital and wealth, communications, following the technological acceleration of time, coexist with each other, compete for primacy, creating a society of atomized subjects who have ceased to understand their place in the history of society. This situation is described in the article as (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  14
    Ideĭnye osnovanii︠a︡ russkogo kosmizma.Mikhail Aleksandrovich Abramov - 2003 - Saratov: Saratovskiĭ gos. tekhnicheskiĭ universitet.
  25.  24
    .Mikhail Epstein - 2010 - Common Knowledge 16 (3):367-403.
    In this guest column, Epstein offers “a new sign” that, he argues, resolves difficulties that have arisen in many theories and practices, including linguistics, semiotics, literary theory, poetics, aesthetics, ecology, ecophilology, eco-ethics, metaphysics, theology, psychology, and phenomenology. The new sign, a pair of quotation marks around a blank space, signfies the absence of any sign. Most generally, “ ” relates to the blank space that surrounds and underlies a text; by locating “ ” within the text, the margins are brought (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  26.  6
    Global Studies Encyclopedic Dictionary.Mikhail Gorbachev (ed.) - 2014 - Editions Rodopi.
    This book provides brief expositions of the central concepts in the field of Global Studies. Former President of the Soviet Union Mikhail Gorbachev says, “The book is intelligent, rich in content and, I believe, necessary in our complex, turbulent, and fragile world.” 300 authors from 50 countries contributed 450 entries. The contributors include scholars, researchers, and professionals in social, natural, and technological sciences. They cover globalization problems within ecology, business, economics, politics, culture, and law. This interdisciplinary collection provides a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  22
    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.
  28. Filosofīi︠a︡ di︠e︡ĭstvitelʹnosti.Mikhail Mikhaĭlovich Filippov - 1895
    No categories
     
    Export citation  
     
    Bookmark  
  29. Obʺektivnyĭ kharakter zakonov razvitii︠a︡ prirody.Mikhail Izrailevich Levin (ed.) - 1954
    No categories
     
    Export citation  
     
    Bookmark  
  30.  33
    Protein partners of KCTD proteins provide insights about their functional roles in cell differentiation and vertebrate development.Mikhail Skoblov, Andrey Marakhonov, Ekaterina Marakasova, Anna Guskova, Vikas Chandhoke, Aybike Birerdinc & Ancha Baranova - 2013 - Bioessays 35 (7):586-596.
    The KCTD family includes tetramerization (T1) domain containing proteins with diverse biological effects. We identified a novel member of the KCTD family, BTBD10. A comprehensive analysis of protein‐protein interactions (PPIs) allowed us to put forth a number of testable hypotheses concerning the biological functions for individual KCTD proteins. In particular, we predict that KCTD20 participates in the AKT‐mTOR‐p70 S6k signaling cascade, KCTD5 plays a role in cytokinesis in a NEK6 and ch‐TOG‐dependent manner, KCTD10 regulates the RhoA/RhoB pathway. Developmental regulator KCTD15 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  18
    Complexity of finite-variable fragments of propositional modal logics of symmetric frames.Mikhail Rybakov & Dmitry Shkatov - forthcoming - Logic Journal of the IGPL.
  32. Интертекстуальный анализ сегодня.Mikhail Gasparov - 2002 - Σημιοτκή-Sign Systems Studies 2:645-651.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  33.  89
    Moral cognition and computational theory.John Mikhail - 2007 - In Walter Sinnott-Armstrong (ed.), Moral Psychology, Volume 3: The Neuroscience of Morality: Emotion, Brain Disorders, and Development. MIT Press.
    In this comment on Joshua Greene's essay, The Secret Joke of Kant's Soul, I argue that a notable weakness of Greene's approach to moral psychology is its neglect of computational theory. A central problem moral cognition must solve is to recognize (i.e., compute representations of) the deontic status of human acts and omissions. How do people actually do this? What is the theory which explains their practice?
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  34.  27
    Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter.Mikhail Rybakov & Dmitry Shkatov - 2018 - Studia Logica 107 (4):695-717.
    We prove that the positive fragment of first-order intuitionistic logic in the language with two individual variables and a single monadic predicate letter, without functional symbols, constants, and equality, is undecidable. This holds true regardless of whether we consider semantics with expanding or constant domains. We then generalise this result to intervals \ and \, where QKC is the logic of the weak law of the excluded middle and QBL and QFL are first-order counterparts of Visser’s basic and formal logics, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35. Transcendentalism, Naturalism and Ontology.Mikhail Belousov - 2024 - HORIZON. Studies in Phenomenology 13 (1):115-128.
    The opposition between transcendentalism and naturalism plays a key role in discussions about consciousness at the confluence of phenomenology and analytical philosophy. Associated with it is a whole range of research programs. However, the opposition between transcendentalism and naturalism in these programs is, as a rule, operational and not thematic in nature and presupposes that 1) Transcendentalism and naturalism as traditions are initially alien to each other; 2) The domain of their opposition is ontology. The article attempts to problematize these (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  26
    Silicon nanotechnologies of pigmented heterokonts.Mikhail A. Grachev, Vadim V. Annenkov & Yelena V. Likhoshway - 2008 - Bioessays 30 (4):328-337.
    Many pigmented heterokonts are able to synthesize elements of their cell walls (the frustules) of dense biogenic silica. These include diatom algae, which occupy a significant place in the biosphere. The siliceous frustules of diatoms have species‐specific patterns of surface structures between 10 and a few hundred nanometers. The present review considers possible mechanisms of uptake of silicic acid from the aquatic environment, its transport across the plasmalemma, and intracellular transport and deposition of silica inside the specialized Silica Deposition Vesicle (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37. Philosophical traditions today.Mikhail Trifonovich Iovchuk - 1973 - Moscow: Progress.
     
    Export citation  
     
    Bookmark  
  38.  7
    Dialectics by Command.Mikhail Kapustin - 1989 - Russian Studies in Philosophy 28 (2):6-29.
    Our perestroika began with the development of a new political thinking, resurrecting the Renaissance spirit of true Leninism. What we must now do is decisively repudiate the Stalinist legacy in all areas of social consciousness, including literature, esthetics, philosophy, Aand social science.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Postchelovechestvo.Mikhail Khodorkovskiĭ (ed.) - 2007 - Moskva: Algoritm.
    No categories
     
    Export citation  
     
    Bookmark  
  40.  13
    Complexity of finite-variable fragments of EXPTIME-complete logics ★.Mikhail Rybakov - 2007 - Journal of Applied Non-Classical Logics 17 (3):359-382.
    The main result of the present paper is that the variable-free fragment of logic K*, the logic with a single K-style modality and its “reflexive and transitive closure,” is EXPTIMEcomplete. It is then shown that this immediately gives EXPTIME-completeness of variable-free fragments of a number of known EXPTIME-complete logics. Our proof contains a general idea of how to construct a polynomial-time reduction of a propositional logic to its n-variable—and even, in the cases of K*, PDL, CTL, ATL, and some others, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  17
    Consciousness as a Domain of Freedom.Mikhail K. Ryklin - 2010 - Russian Studies in Philosophy 49 (2):28-50.
    The attempt to understand and discuss Mamardashvili's philosophy as metaphysics with its foundamental focus on Being of consciousness.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  30
    The Defeat of Vision Five Reflections on the Culture of Speech.Mikhail Ryklin - 1992 - Russian Studies in Philosophy 31 (3):51-78.
    One can well understand the guarded attitude adopted toward a concept of culture that forces many structures and layers of experience beyond its boundaries, where they then become identified as lack of culture, chaos, etc. Such a restrictive, normative use of the word ‘culture’ is in principle explainable: after all, the intelligentsia does not simply speak; it speaks possessing a speech apparatus that is representative of the intelligentsia in relation to other strata of society that do not possess analogous speech (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Terroreloiiki (Tartu and Moscow).Mikhail Ryklin - unknown
     
    Export citation  
     
    Bookmark  
  44.  44
    Almost Equal: The Method of Adequality from Diophantus to Fermat and Beyond.Mikhail G. Katz, David M. Schaps & Steven Shnider - 2013 - Perspectives on Science 21 (3):283-324.
    Adequality, or παρισóτης (parisotēs) in the original Greek of Diophantus 1 , is a crucial step in Fermat’s method of finding maxima, minima, tangents, and solving other problems that a modern mathematician would solve using infinitesimal calculus. The method is presented in a series of short articles in Fermat’s collected works (1891, pp. 133–172). The first article, Methodus ad Disquirendam Maximam et Minimam 2 , opens with a summary of an algorithm for finding the maximum or minimum value of an (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  45. Moral grammar and intuitive jurisprudence: A formal model of unconscious moral and legal knowledge.John Mikhail - 2009 - In B. H. Ross, D. M. Bartels, C. W. Bauman, L. J. Skitka & D. L. Medin (eds.), Psychology of Learning and Motivation, Vol. 50: Moral Judgment and Decision Making. Academic Press.
    Could a computer be programmed to make moral judgments about cases of intentional harm and unreasonable risk that match those judgments people already make intuitively? If the human moral sense is an unconscious computational mechanism of some sort, as many cognitive scientists have suggested, then the answer should be yes. So too if the search for reflective equilibrium is a sound enterprise, since achieving this state of affairs requires demarcating a set of considered judgments, stating them as explanandum sentences, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  46.  10
    La Propriété: Étude de Philosophie du Droit.Mikhaïl Xifaras - 2004 - Presses Universitaires de France.
    Pendant près de deux siècles, la " question sociale"s'est confondue avec la question de la propriété, ou plus exactement avec celle de sa légitimité. Tel auteur affirme que c'est l'âme de la législation. Tel autre que c'est le vol. On dispute de ses origines et de ses limites, parfois de son abolition. Mais à travers la violence de la querelle, partisans et détracteurs de l'institution s'en font la même idée : un droit absolu d'une personne sur une chose. Or il (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  27
    Sociability and education in Kant and Hessen.Mikhail Zagirnyak - 2021 - Journal of Philosophy of Education 55 (6):1112-1125.
  48.  14
    The phoenix of philosophy: Russian thought of the late Soviet period (1953-1991).Mikhail Epstein - 2019 - New York: Bloomsbury Academic.
    This groundbreaking work by one of the world's foremost theoreticians of Russian literature, culture, and thought gives for the first time an extensive and detailed examination of the development of Russian thought during the late Soviet period. Countering the traditional view of an intellectual wilderness under the Soviet regime, Mikhail Epstein offers a systematic account of Russian thought in the second half of the 20th century. In doing so, he provides new insights into previously ignored areas such as Russian (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  68
    Why will is not a modal.Mikhail Kissine - 2008 - Natural Language Semantics 16 (2):129-155.
    In opposition to a common assumption, this paper defends the idea that the auxiliary verb will has no other semantic contribution in contemporary English than a temporal shift towards the future with respect to the utterance time. Strong reasons for rejecting the idea that will quantifies over possible worlds are presented. Given the adoption of Lewis’s and Kratzer’s views on modality, the alleged ‘modal’ uses of will are accounted for by a pragmatic mechanism which restricts the domain of the covert (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  50.  8
    Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness.Mikhail Rybakov - forthcoming - Logic Journal of the IGPL.
    In this paper, the predicate counterparts, defined both axiomatically and semantically by means of Kripke frames, of the modal propositional logics $\textbf {GL}$, $\textbf {Grz}$, $\textbf {wGrz}$ and their extensions are considered. It is proved that the set of semantical consequences on Kripke frames of every logic between $\textbf {QwGrz}$ and $\textbf {QGL.3}$ or between $\textbf {QwGrz}$ and $\textbf {QGrz.3}$ is $\Pi ^1_1$-hard even in languages with three (sometimes, two) individual variables, two (sometimes, one) unary predicate letters, and a single (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 949