Results for 'Markov Sergey'

924 found
Order:
  1.  7
    Vector Autoregressive Hierarchical Hidden Markov Models for Extracting Finger Movements Using Multichannel Surface EMG Signals.Nebojša Malešević, Dimitrije Marković, Gunter Kanitz, Marco Controzzi, Christian Cipriani & Christian Antfolk - 2018 - Complexity 2018:1-12.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. The Markov blankets of life: autonomy, active inference and the free energy principle.Michael David Kirchhoff - 2018 - Journal of the Royal Society Interface 15 (138).
    This work addresses the autonomous organization of biological systems. It does so by considering the boundaries of biological systems, from individual cells to Home sapiens, in terms of the presence of Markov blankets under the active inference scheme—a corollary of the free energy principle. A Markov blanket defines the boundaries of a system in a statistical sense. Here we consider how a collective of Markov blankets can self-assemble into a global system that itself has a Markov (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  3. Collective Action and the Evolution of Social Norm Internalization.Sergey Gavrilets & Peter J. Richerson - 2017 - Proceedings of the National Academy of Sciences 114 (23):6068--6073.
    No categories
     
    Export citation  
     
    Bookmark   10 citations  
  4.  27
    Unconscious neural processing differs with method used to render stimuli invisible.Sergey V. Fogelson, Peter J. Kohler, Kevin J. Miller, Richard Granger & Peter U. Tse - 2014 - Frontiers in Psychology 5.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  5.  9
    The Emperor's New Markov Blankets.Jelle Bruineberg, Krzysztof Dołęga, Joe Dewhurst & Manuel Baltieri - 2022 - Behavioral and Brain Sciences 45:e183.
    The free energy principle, an influential framework in computational neuroscience and theoretical neurobiology, starts from the assumption that living systems ensure adaptive exchanges with their environment by minimizing the objective function of variational free energy. Following this premise, it claims to deliver a promising integration of the life sciences. In recent work, Markov blankets, one of the central constructs of the free energy principle, have been applied to resolve debates central to philosophy (such as demarcating the boundaries of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  6. Causal Markov, robustness and the quantum correlations.Mauricio Suárez & Iñaki San Pedro - 2010 - In Mauricio Suarez (ed.), Causes, Probabilities and Propensities in Physics. Springer. pp. 173–193.
    It is still a matter of controversy whether the Principle of the Common Cause (PCC) can be used as a basis for sound causal inference. It is thus to be expected that its application to quantum mechanics should be a correspondingly controversial issue. Indeed the early 90’s saw a flurry of papers addressing just this issue in connection with the EPR correlations. Yet, that debate does not seem to have caught up with the most recent literature on causal inference generally, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  7. The Nature of Appearance in Kant’s Transcendentalism: A Seman- tico-Cognitive Analysis.Sergey L. Katrechko - 2018 - Kantian Journal 37 (3):41-55.
  8.  9
    Markov blankets and the preformationist assumption.Mads Dengsø, Ian Robertson & Axel Constant - 2022 - Behavioral and Brain Sciences 45:e192.
    Bruineberg and colleagues argue that a realist interpretation of Markov blankets inadvertently relies upon unfounded assumptions. However, insofar as their diagnosis is accurate, their prescribed instrumentalism may ultimately prove insufficient as a complete remedy. Drawing upon a process-based perspective on living systems, we suggest a potential way to avoid some of the assumptions behind problems described by Bruineberg and colleagues.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  21
    Phase pseudowaves and interference on a resonator: to the question of the nature of light and quantum interference.Sergey A. Belozerov - 2012 - Apeiron: Studies in Infinite Nature 19 (3):193.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  6
    Features of innovation bureaucracy a Russia-based study.Sergey Aleksandrovich Barkov, Anna Valeryevna Markeeva & Olga Vladimirovna Gavrilenko - 2018 - Postmodern Openings 9 (2):210-224.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Report of the ‘Transcendental Turn in Contemporary Philo­sophy 2’ Inter­national Seminar (Moscow, 27—29 April 2017).Sergey L. Katrechko - 2018 - Kantian Journal 37 (1):88-93.
    This is a report of the international workshop «Transcendental Turn in Contemporary Philosophy 2: Kant’s Appearance, Its Ontological and Epistemic Status» (April 27—29, 2017, Moscow), the tasks of which was (1) to discuss the specificity of transcendental idealism, (2) to study the nature of one of Kant’s important concepts — that of appearance — within the framework of the essential conceptual triad of transcendentalism: thing in itself (Ding an sich) — appearance (Erscheinung) — representation (Vorstellung), (3) to analyse the distinction (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  71
    Markov interactions in a class of dynamic games.Charles Figuières - 2009 - Theory and Decision 66 (1):39-68.
    This paper contributes to the understanding of economic strategic behaviors in inter-temporal settings. Comparing the MPE and the OLNE of a widely used class of differential games it is shown: (i) what qualifications on behaviors a markov (dynamic) information structure brings about compared with an open-loop (static) information structure, (ii) what is the reason leading to intensified or reduced competition between the agents in the long run. It depends on whether agents’ interactions are characterized by markov substitutability or (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  19
    Some preservation results for classical and intuitionistic satisfiability in Kripke models.Zoran Marković - 1983 - Notre Dame Journal of Formal Logic 24 (3):395-398.
  14.  34
    Enumerations in computable structure theory.Sergey Goncharov, Valentina Harizanov, Julia Knight, Charles McCoy, Russell Miller & Reed Solomon - 2005 - Annals of Pure and Applied Logic 136 (3):219-246.
    We exploit properties of certain directed graphs, obtained from the families of sets with special effective enumeration properties, to generalize several results in computable model theory to higher levels of the hyperarithmetical hierarchy. Families of sets with such enumeration features were previously built by Selivanov, Goncharov, and Wehner. For a computable successor ordinal α, we transform a countable directed graph into a structure such that has a isomorphic copy if and only if has a computable isomorphic copy.A computable structure is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  15.  41
    Personal Branding: Interdisciplinary Systematic Review and Research Agenda.Sergey Gorbatov, Svetlana N. Khapova & Evgenia I. Lysova - 2018 - Frontiers in Psychology 9.
    Personal branding has become an important concept in management literature in recent years. Yet, with more than 100 scholarly papers published on the concept to date, it has developed into a fragmented area of research with a diversity of definitions and conceptual boundaries. This paper posits that this heterogeneity of extant research impedes theoretical and empirical advancement. To strengthen the foundation for future work, we review the extant literature and offer an integrative model of personal branding. Through our systematic literature (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  13
    Markov's Rule revisited.Daniel Leivant - 1990 - Archive for Mathematical Logic 30 (2):125-127.
    We consider HA*, that is Heyting's Arithmetic extended with transfinite induction over all recursive well orderings, which may be viewed as defining constructive truth, since PA* agrees with classical truth. We prove that Markov's Principle, as a schema, is not provable in HA*, but that HA* is closed under Markov's Rule.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  7
    Get Noticed to Get Ahead: The Impact of Personal Branding on Career Success.Sergey Gorbatov, Svetlana N. Khapova & Evgenia I. Lysova - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Hierarchical Markov blankets and adaptive active inference. [REVIEW]Michael David Kirchhoff - 2018 - Physics of Life Reviews 24.
  19.  20
    A General Framework for $$ {FDE}$$ FDE -Based Modal Logics.Sergey Drobyshevich - 2020 - Studia Logica 108 (6):1281-1306.
    We develop a general theory of FDE-based modal logics. Our framework takes into account the four-valued nature of FDE by considering four partially defined modal operators corresponding to conditions for verifying and falsifying modal necessity and possibility operators. The theory comes with a uniform characterization for all obtained systems in terms of FDE-style formula-formula sequents. We also develop some correspondence theory and show how Hilbert-style axiom systems can be obtained in appropriate cases. Finally, we outline how different systems from the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  48
    The channels model of nuclear matrix structure.Sergey V. Razin & Irina I. Gromova - 1995 - Bioessays 17 (5):443-450.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Suspending New Testament: Do the Two Talmuds Belong to Hermeneutics of Texts?Dolgopolski Sergey - 2017 - Studia Humana 6 (2):46-64.
    The paper explores the role of competing notions of what does it mean to have a testament of the law of the past in Christian and Rabbinic corpora of text and thought. The argument probes and renegotiates the complex relationships of the Christian suspension of Old Testament by the New Testament and the Rabbinic suspension of new testament in the two Talmudim. It consequently draws implications of that analysis for understanding the relationships of the two Talmudim to the tradition of (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  22.  20
    Out of sorts? Some remedies for theories of object concepts: A reply to Rhemtulla and Xu (2007).Sergey V. Blok, George E. Newman & Lance J. Rips - 2007 - Psychological Review 114 (4):1096-1102.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  23. Ardaradatutʻyun: khghchi u banakanutʻyan andradardzner.Sergey Abrahamyan - 2007 - Erevan: Iravunkʻ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  5
    La definición de “hombre” y la estructura del Liber differentiarum II de Isidoro de Sevilla.Sergey Vorontsov - 2020 - Patristica Et Medievalia 41 (2):103-116.
    El presente artículo versa sobre la estructura del tratado isidoriano llamado _Liber differentiarum _II. Hasta el momento, los trabajos acerca del contenido de la obra y su distribución han explicado su estructura según consideraciones que podríamos llamar “externas”, en tanto se basan en ideas generales en relación con el género o la lógica del texto. En contraste con ello, el objetivo de este estudio es ofrecer una explicación “interna” de tal estructura, una fundada en su contenido conceptual. Nuestra hipótesis sostiene, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Sergey Bratkov: Glory Days: Works 1989-2008.Thomas Seelig, Mikhail =Ryklin, Bart =De Baere & Boris =Buden (eds.) - 2008 - Verlag Scheidegger and Spiess.
    The Ukrainian photographer Sergey Bratkov started his career in 1987 with his first solo shows in Kharkiv, Cheb, and Tel Aviv. He has since enjoyed international recognition from solo and group exhibitions in Europe an.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Multivalency: the hallmark of antibodies used for optimization of tumor targeting by design.Sergey M. Deyev & Ekaterina N. Lebedenko - 2008 - Bioessays 30 (9):904-918.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. A Castle Hanging by a Thread: Antichrist, His Miracles and the Topsy-Turvy World.Sergey Ivanov - 2022 - Journal of the Warburg and Courtauld Institutes 85:283-292.
    This article considers late additions to the miracles of Antichrist as found in fifteenth-century manuscripts such as Wellcome Library, MS 49 and the Antichrist-Bildertext. One of these miracles—a castle hanging by a thread—has a parallel in the German nonsense poetry tradition. The poem ‘Sô ist diz von lügenen’ from a fourteenth-century manuscript depicts a topsy-turvy world where Rome and the Lateran also hang by a thread. Subsequently the same motif occurs in the Emblemata of Théodore de Bèze (1580). A tense (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. 5. Markov properties and quantum experiments.Clark Glymour - unknown
    Few people have thought so hard about the nature of the quantum theory as has Jeff Bub,· and so it seems appropriate to offer in his honor some reflections on that theory. My topic is an old one, the consistency of our microscopic theories with our macroscopic theories, my example, the Aspect experiments (Aspect et al., 1981, 1982, 1982a; Clauser and Shimony, l978;_Duncan and Kleinpoppen, 199,8) is familiar, and my sirnplrcation of it is borrowed. All that is new here is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  29. Un Análisis Político Comparativo de los Factores de la Estabilidad Política durante la Transición Democrática de Rusia y España a finales del Siglo XX y principios del Siglo XXI.Sergey Boyko - 2012 - Human Review. International Humanities Review / Revista Internacional de Humanidades 1 (1).
    La historia política de Rusia y España ofrece una oportunidad para comparar las medidas adoptadas durante la transición de un régimen autoritario a uno democrático, manteniendo la estabilidad política en el Estado. El Estado es un elemento central del sistema político. La estabilidad del Estado se convierte en una cuestión clave para los dirigentes del Estado, para los sujetos del poder político. La estabilidad política en una democracia requiere la preservación del tipo de organización del poder, que corresponde a los (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  3
    On classical behavior of intuitionistic modalities.Sergey Deobyshevich - 2014 - Logic and Logical Philosophy 24 (1):79-104.
    We study connections between four types of modal operators – necessity, possibility, un-necessity and impossibility – over intuitionitstic logic in terms of compositions of these modal operators with intuitionistic negation. We investigate which basic compositions, i.e. compositions of the form ¬δ, δ¬ or ¬δ¬, yield modal operators of the same type over intuitionistic logic as over classical logic. We say that such compositions behave classically. We study which modal properties correspond to each basic compositions behaving classically over intuitionistic logic and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  27
    Π 1 1 relations and paths through.Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight & Richard A. Shore - 2004 - Journal of Symbolic Logic 69 (2):585-611.
  32.  1
    The three approaches to the semiotics of power.Sergey V. Sannikov - 2020 - Semiotica 2020 (236-237):47-53.
    The article focuses the possibility of elaboration of a cross-disciplinary methodological approach to formation of the semiotics of power. Four possible forms of relation of semiotic research to the problem of power are revealed upon the basis of Drechsler’s typology. The approaches of Mandoki and Siefkes to formation of the methodological basis of the semiotics of power are analyzed and compared. The author designates the perspective directions of a further research and formulates methodological prerequisites for realization of the specified directions.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  73
    Extended Predictive Minds: do Markov Blankets Matter?Marco Facchin - 2021 - Review of Philosophy and Psychology:1-30.
    The extended mind thesis claims that a subject’s mind sometimes encompasses the environmental props the subject interacts with while solving cognitive tasks. Recently, the debate over the extended mind has been focused on Markov Blankets: the statistical boundaries separating biological systems from the environment. Here, I argue such a focus is mistaken, because Markov Blankets neither adjudicate, nor help us adjudicate, whether the extended mind thesis is true. To do so, I briefly introduce Markov Blankets and the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  17
    Time of Mentality.Sergey Demensky - 2008 - Proceedings of the Xxii World Congress of Philosophy 15:37-46.
    From descriptive interpretation of "understanding" to abstract-gnosiological understanding of mentality. The historical deconstruction of the existential understanding introduced as ontologic property of constantly becoming stable "Being-in-the-World" allows us to interpret this concept as mentality. Through theprism of existential philosophy in general and its interpreters such as Jacque Le Goff it allows us to make a conclusion that mentality is one of complete formations of public consciousness. But in the course of such interpretation of mentality it is important to avoid the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. El problema “de nacionalizaciόn” de la élite política como una comprobaciόn de la teoría de “los mejores” de J. Ortega y Gasset.Sergey Boyko - 2015 - Human Review. International Humanities Review / Revista Internacional de Humanidades 4 (2).
    Sobre la base de la teoría de “los mejores” de J. Ortega y Gasset el autor trató de investigar el papel de los estratos superiores de la sociedad, de la élite nacional en la modernización del régimen político en los principios de la democracia y la poliarquía. Fue revelado el papel en los procesos del gobierno y la administración del poder político y ejecutivo del aparato estatal, que consiste en los funcionarios públicos, profesional y moralmente preparados y capaces asegurar el (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  6
    MARKOVIČ, P. (2020): Slovenský literárny klasicizmus a preromantizmus.Nina Kollárová - 2020 - Espes 9 (1):80-81.
    MARKOVIČ, P. : Slovenský literárny klasicizmus a preromantizmus. Prešov : Vydavateľstvo Prešovskej univerzity v Prešove, 144 s. ISBN 978-80-555-2496-2.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  15
    Sergey S. Horujy and the Russian Religious Philosophical Tradition.Marina F. Bykova - 2019 - Russian Studies in Philosophy 57 (1):1-2.
    Volume 57, Issue 1, February 2019, Page 1-2.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  4
    Global Consciousness as a Cultural and Historical Concept.Sergey Iagodzinskiy - 2016 - Studia Z Historii Filozofii 6 (4):139-148.
    Globalna świadomość jako pojęcie kulturowe i historyczne Artykuł stanowi analizę idei głoszonych przez przedstawicieli filozofii kosmicznej. Przedstawiony zostaje kulturowy, historyczny i cywilizacyjny charakter zjawiska świadomości globalnej. Dowodzi się w nim, że świadomość globalna jest częścią społecznego i kulturowego potencjału globalnych sieci informacyjnych oraz że może ona wskazywać perspektywę rozwoju obdarzonej rozumem ludzkości.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  15
    Tarskian consequence relations bilaterally: some familiar notions.Sergey Drobyshevich - 2019 - Synthese 198 (S22):5213-5240.
    This paper is dedicated to developing a formalism that takes rejection seriously. Bilateral notation of signed formulas with force indicators is adopted to define signed consequences which can be viewed as the bilateral counterpart of Tarskian consequence relations. Its relation to some other bilateral approaches is discussed. It is shown how David Nelson’s logic N4 can be characterized bilaterally and the corresponding completeness result is proved. Further, bilateral variants of three familiar notions are considered and investigated: that of a fragment, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  22
    A text on biosemiotic themes.Sergey V. Chebanov & Anton Markoš - 2009 - Sign Systems Studies 37 (1/2):332-343.
    What follows is a two-part review of Günther Witzany’s two-part book, The Logos of the Bios. The first part of the review is written by Sergey Chebanov, and it approaches the text as a source of ideas on biosemiotics and biohermeneutics. The second part is written by Anton Markoš, and it estimates the biological pithiness of the book and the correctness of the reflection of the included data of modern biology.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41. Markov Learning Models for Multiperson Interactions.P. SUPPES - 1960
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
  42.  2
    Features of planning strength training in the training process of qualified athletes.Sergey Mikhailovich Struganov, Eduard Vadimovich Yakushev & Anatoly Vasilievich Malykhin - 2021 - Kant 38 (1):339-344.
    The article discusses the importance of strength training in the training process and its impact on the technical skills of athletes. The use of strength exercises during training sessions and rational planning of strength training in the training process are considered. Practical and methodological recommendations are given on the use of various strength physical exercises to improve the technique of basic competitive movements. Examples of the use of various physical loads during certain exercises in order to improve the technical readiness (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  31
    The Principles of Open Society and Ideals of Buddhist Civilization.Sergey Yu Lepekhov - 2008 - Proceedings of the Xxii World Congress of Philosophy 8:163-171.
    According to Popper, democracy, and the one of the western type at that, is the best form of the state system which makes open society possible. At the same time, democratic traditions and institutions have been historically developing not only in the West but also in the East. A number of crucial principles of Buddhistcivilization forming throughout the millennium appear to be quite corresponding to the model of open society. The principles of universal humanism and compassion as the staple of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  8
    Semi-Isolation and the Strict Order Property.Sergey Sudoplatov & Predrag Tanović - 2015 - Notre Dame Journal of Formal Logic 56 (4):555-572.
    We study semi-isolation as a binary relation on the locus of a complete type and prove that—under some additional assumptions—it induces the strict order property.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  45.  33
    Tracing the identity of objects.Lance J. Rips, Sergey Blok & George Newman - 2006 - Psychological Review 113 (1):1-30.
    This article considers how people judge the identity of objects (e.g., how people decide that a description of an object at one time, t₀, belongs to the same object as a description of it at another time, t₁). The authors propose a causal continuer model for these judgments, based on an earlier theory by Nozick (1981). According to this model, the 2 descriptions belong to the same object if (a) the object at t₁ is among those that are causally close (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  46.  29
    The Logic with Truth and Falsehood Operators from a Point of View of Universal Logic.Sergey Pavlov - 2011 - Logica Universalis 5 (2):319-325.
    The logic with independent truth and falsehood operators TFL is proposed. In TFL(→) standard truth-conditions for the implication are adopted. Nevertheless the laws of classical logic are not valid. In this language more then 107 different binary connectives can be defined. So this logic can be treated as universal logic relatively to the class of sentential logics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  54
    Philosophy of Science as the Object of Metaphilosophical Investigations.Sergey F. Martynovich - 2008 - Proceedings of the Xxii World Congress of Philosophy 46:63-74.
    Philosophy of science is the object of metaphilosophical investigations. Metaphilosophy is the philosophy of philosophy. Philosophy is an archetypical thinking of being or an experience-of-being. History of Greek-European tradition of philosophy has three archetypes of thinking: objectivity, subjectivity, and inter-subjectivity. They are three archetypical contexts of interpretations of the concept of a philosophy of science too. Is philosophy of science part of philosophy? Is philosophy ofscience part of epistemology? What are methods of philosophy of science? These questions are the topics (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  13
    Sergey A. Ivanov, Holy fools in Byzantium and beyond.Bettina Lienhard - 2008 - Byzantinische Zeitschrift 100 (2):860-864.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  20
    Biohermeneutics and hermeneutics of biology.Sergey V. Chebanov - 1999 - Semiotica 127 (1-4):215-226.
  50.  33
    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  
1 — 50 / 924