Results for 'St��phane Demri'

1000+ found
Order:
  1.  21
    Homeosis and Atavistic Regeneration: The 'Biogenetic Law' in Entwicklungsmechanik.Sté Schmitt & Phane - 2003 - History and Philosophy of the Life Sciences 25 (2):193-210.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  3
    Towards Unravelling theIgf2/H19 Imprinted Domain.St�Phane Viville & M. Azim Surani - 1995 - Bioessays 17 (10):835-838.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  29
    A Liberal Defence of the Intrinsic Value of Cultures.St|[Eacute]|Phane Courtois - 2008 - Contemporary Political Theory 7 (1):31.
  4. John of St. Thomas [Poinsot] on Sacred Science: Cursus Theologicus I, Question 1, Disputation 2.John Of St Thomas - 2014 - St. Augustine's Press.
  5. Intro Summa Theologiae Thomas Aquinas: John of St. Thomas.John Of St Thomas & John Poinsot - 2004 - St. Augustine's Press.
     
    Export citation  
     
    Bookmark  
  6. The Record Book of the St. Louis Philosophical Society, Founded February 1866.Mo St Louis Philosophical Society Louis, Kurt F. Leidecker & William Torrey Harris - 1990
    No categories
     
    Export citation  
     
    Bookmark  
  7.  26
    Does St. Thomas Really Prove the Soul’s Immortality?George St Hilaire - 1960 - New Scholasticism 34 (3):340-356.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  7
    The Symbolic Spirituality of St. Francis.Donald P. St John - 1979 - Franciscan Studies 39 (1):192-205.
  9. A Logic with Relative Knowledge Operators.Demri Stephane - 1999 - Journal of Logic, Language and Information 8 (2).
  10.  37
    Saying of St. Francis de Sales Concerning the Need for Christian Cheerfulness in Everyday Life.St Francis de Sales - 1997 - The Chesterton Review 23 (3):391-391.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  14
    Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-State Systems, Cambridge Tracts in Theoretical Computer Science, Vol. 58, Cambridge University Press, Cambridge, 2016, Viii + 744 Pp. [REVIEW]Kamal Lodaya - 2017 - Bulletin of Symbolic Logic 23 (2):203-204.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  8
    S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems: Cambridge University Press 2016, Pp. 752. ISBN-10: 1107028361 £90.00; ISBN-13: 978-1107028364; Online ISBN: 978-1139236119 £85.50.Sophie Pinchinat - 2019 - Studia Logica 107 (5):1083-1088.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  2
    St. Thomas Aquinas.G. K. Chesterton - 1933 - Hodder & Stoughton.
    2011 Reprint of 1943 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. "St. Thomas Aquinas" is enriched by the author's unique ability to see the world through the saint's eyes, a fresh and animated view that shows us Aquinas as no other biography has. Acclaimed as the best book ever written on Aquinas by such outstanding Thomists as Jacques Maritain, Etienne Gilson, and Anton Pegis, this brilliant biography will completely capture the reader and leave him (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  14. St. Thomas and Form as Something Divine in Things.Lawrence Dewan - 2007 - Marquette University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  15.  1
    Reasoning, Rationality and Dual Processes: Selected Works of Jonathan St B T Evans.Jonathan St B. T. Evans - 2013 - Psychology Press.
    In the World Library of Psychologists series, international experts themselves present career-long collections of what they judge to be their finest pieces - extracts from books, key articles, salient research findings, and their major theoretical and practical contributions. Jonathan St B T Evans is amongst the foremost cognitive psychologists of his generation, having been influential in spearheading developments in the psychological study of reasoning from its very beginnings in the 1970s up to the present day. This volume of self-selected papers (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  1
    Historical and Culturologic Aspects in Slavic Studies as the Directions of a Joint Activity of St. Cyril and St. Methodius University of Veliko Turnovo and Bashkir State University.St Burov & L. A. Kalimullina - 2013 - Liberal Arts in Russiaроссийский Гуманитарный Журналrossijskij Gumanitarnyj Žurnalrossijskij Gumanitaryj Zhurnalrossiiskii Gumanitarnyi Zhurnal 2 (3):293.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  7
    G. KIOURTZIAN, Receuil des Inscriptions Grecques Chrétiennes des Cyclades, De la Fin du IIIe au VIIe Siècle Après J.-C.Phane Drossoyianni - 2003 - Byzantinische Zeitschrift 95 (2):690-696.
    This is a very good book. It gives 205 inscriptions from ten of the Cycladic islands. A number of them are published here for the first time. In their majority they are either funerary or invocations for divine help. Some are dedicatory. Some are inscriptions on well-paintings identifying the scene or the saint depicted or being themselves dedicatory or invocatory. Some are in praise of God or in thanks to God. Some are exhortations to the faithful or quotations from the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  14
    St. Paul Among the Philosophers.John D. Caputo & Linda Alcoff (eds.) - 2009 - Indiana University Press.
    In his epistles, St. Paul sounded a universalism that has recently been taken up by secular philosophers who do not share his belief in Christ, but who regard his project as centrally important for contemporary political life. The Pauline project—as they see it—is the universality of truth, the conviction that what is true is true for everyone, and that the truth should be known by everyone. In this volume, eminent New Testament scholars, historians, and philosophers debate whether Paul's promise can (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  14
    The Psychology of Deductive Reasoning.Jonathan St B. T. Evans - 1982 - Psychology Press.
    Originally published in 1982, this was an extensive and up-to-date review of research into the psychology of deductive reasoning, Jonathan Evans presents an alternative theoretical framework to the rationalist approach which had dominated much of the published work in this field at the time. The review falls into three sections. The first is concerned with elementary reasoning tasks, in which response latency is the prime measure of interest. The second and third sections are concerned with syllogistic and propositional reasoning respectively, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   110 citations  
  20.  64
    The Homilies of St John Chrysostom on the Letters of St Paul to Titus and Philemon: Prolegomena to an Edition. [REVIEW]J. Neville Birdsall, B. Goodall & St Paul - 1982 - Journal of Hellenic Studies 102:297-297.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21. On Life's Threshold: Talks to Young People on Character and Conduct, Tr. By E. St. John.Charles Wagner & Edna St John - 1905
     
    Export citation  
     
    Bookmark  
  22. Incomplete Information: Structure, Inference, Complexity.Stéphane P. Demri & Ewa S. Orłowska - 2006 - Studia Logica 84 (3):469-475.
  23.  21
    ST, LP and Tolerant Metainferences.Bogdan Dicher & Francesco Paoli - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Springer Verlag. pp. 383-407.
    The strict-tolerant approach to paradox promises to erect theories of naïve truth and tolerant vagueness on the firm bedrock of classical logic. We assess the extent to which this claim is founded. Building on some results by Girard we show that the usual proof-theoretic formulation of propositional ST in terms of the classical sequent calculus without primitive Cut is incomplete with respect to ST-valid metainferences, and exhibit a complete calculus for the same class of metainferences. We also argue that the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  24. The Material Logic of John of St. Thomas: Basic Treatises.John of St Thomas - 1955 - Chicago: University of Chicago Press.
  25.  16
    The Language and Style of the Letters of St. Basil.A. C. Way & St Basil - 1927 - Journal of Hellenic Studies 47:309.
  26. Historical and culturologic aspects in slavic studies as the directions of a joint activity of St. Cyril and St. Methodius university of Veliko Turnovo and Bashkir State university.St Burov & L. A. Kalimullina - 2013 - Liberal Arts in Russia 2 (3):293--298.
    In the article, the main lines of the research and educational cooperation of the linguists of the Bashkir State University and the St. Cyril and St. Methodius University of Veliko Turnovo are considered. The prospects of these contacts are determined by capabilities of joint development of the long-term research programs in comparative linguistics, sociolinguistics, cognitive linguistics, which can be implement as collective monographs, Ph.D. theses, textbooks of the Russian and the Bulgarian languages, dictionaries (including the multilingual dictionaries). A program of (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  49
    A Completeness Proof for a Logic with an Alternative Necessity Operator.Stéphane Demri - 1997 - Studia Logica 58 (1):99-112.
    We show the completeness of a Hilbert-style system LK defined by M. Valiev involving the knowledge operator K dedicated to the reasoning with incomplete information. The completeness proof uses a variant of Makinson's canonical model construction. Furthermore we prove that the theoremhood problem for LK is co-NP-complete, using techniques similar to those used to prove that the satisfiability problem for propositional S5 is NP-complete.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  28.  12
    St. Augustine's Theory of Knowledge a Contemporary Analysis.Bruce Bubacz - 1981 - New York: New York : E. Mellen Press.
    Argues that there exists in St Augustine's work a unified theory of knowledge. This work attempts to analyze the individual elements in Augustine's epistemology and relate them to a unified structure. It also relates Augustine's theory of knowledge to others in the history of philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  24
    Deciding Regular Grammar Logics with Converse Through First-Order Logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
    We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar logics with (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  24
    A Logic with Relative Knowledge Operators.Stéphane Demri - 1999 - Journal of Logic, Language and Information 8 (2):167-185.
    We study a knowledge logic that assumes that to each set of agents, an indiscernibility relation is associated and the agents decide the membership of objects or states up to this indiscernibility relation. Its language contains a family of relative knowledge operators. We prove the decidability of the satisfiability problem, we show its EXPTIME-completeness and as a side-effect, we define a complete Hilbert-style axiomatization.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  16
    Separation Logics and Modalities: A Survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.
    Like modal logic, temporal logic, and description logic, separation logic has become a popular class of logical formalisms in computer science, conceived as assertion languages for Hoare-style proof systems with the goal to perform automatic program analysis. In a broad sense, separation logic is often understood as a programming language, an assertion language and a family of rules involving Hoare triples. In this survey, we present similarities between separation logic as an assertion language and modal and temporal logics. Moreover, we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  8
    Reasoning About Sequences of Memory States.Rémi Brochenin, Stéphane Demri & Etienne Lozes - 2010 - Annals of Pure and Applied Logic 161 (3):305-323.
    Motivated by the verification of programs with pointer variables, we introduce a temporal logic whose underlying assertion language is the quantifier-free fragment of separation logic and the temporal logic on the top of it is the standard linear-time temporal logic LTL. We analyze the complexity of various model-checking and satisfiability problems for , considering various fragments of separation logic , various classes of models , and the influence of fixing the initial memory state. We provide a complete picture based on (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Model-Checking CTL* Over Flat Presburger Counter Systems.Stéphane Demri, Alain Finkel, Valentin Goranko & Govert van Drimmelen - 2010 - Journal of Applied Non-Classical Logics 20 (4):313-344.
    This paper concerns model-checking of fragments and extensions of CTL* on infinite-state Presburger counter systems, where the states are vectors of integers and the transitions are determined by means of relations definable within Presburger arithmetic. In general, reachability properties of counter systems are undecidable, but we have identified a natural class of admissible counter systems (ACS) for which we show that the quantification over paths in CTL* can be simulated by quantification over tuples of natural numbers, eventually allowing translation of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. St. Thomas Aquinas on Analogy a Textual Analysis and Systematic Synthesis. --.George Peter Klubertanz & Thomas - 1960 - Loyola University Press.
     
    Export citation  
     
    Bookmark   2 citations  
  35. Commentaria in Quatuor Libros Sententiarum.St Bonaventure - 1252
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  36.  2
    Strategic Reasoning with a Bounded Number of Resources: The Quest for Tractability.Francesco Belardinelli & Stéphane Demri - 2021 - Artificial Intelligence 300:103557.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. ST, LP and Tolerant Metainferences.Bogdan Dicher & Francesco Paoli - forthcoming - In C. Bașkent & Thomas Ferguson (eds.), Graham Priest on dialetheism and paraconsistency. Springer.
  38. The Works of John Locke. Philosophical Works, with a Preliminary Essay and Notes by J.A. St. John.John Locke & James Augustus St John - 1854
     
    Export citation  
     
    Bookmark   1 citation  
  39. Beyond STS: A Research‐Based Framework for Socioscientific Issues Education.Dana L. Zeidler, Troy D. Sadler, Michael L. Simmons & Elaine V. Howes - 2005 - Science Education 89 (3):357-377.
     
    Export citation  
     
    Bookmark   47 citations  
  40.  5
    St. Anselm's Proslogion: With a Reply on Behalf of the Fool by Gaunilo and the Author's Reply to Gaunilo.Saint Anselm - 1979 - University of Notre Dame Press.
    In the Proslogion, St. Anselm presents a philosophical argument for the existence of God. Anselm's proof, known since the time of Kant as the ontological argument for the existence of God, has played an important role in the history of philosophy and has been incorporated in various forms into the systems of Descartes, Leibniz, Hegel, and others. Included in this edition of the Proslogion are Gaunilo's "A Reply on Behalf of the Fool" and St. Anselm's "The Author's Reply to Gaunilo." (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. What Makes Musical Prodigies?Chanel Marion-St-Onge, Michael W. Weiss, Megha Sharda & Isabelle Peretz - 2020 - Frontiers in Psychology 11.
    Musical prodigies reach exceptionally high levels of achievement before adolescence. Despite longstanding interest and fascination in musical prodigies, little is known about their psychological profile. Here we assess to what extent practice, intelligence, and personality make musical prodigies a distinct category of musician. Nineteen former or current musical prodigies were compared to 35 musicians with either an early or late start but similar amount of musical training, and 16 non-musicians. All completed a Wechsler IQ test, the Big Five Inventory, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  23
    An Asterisk Denotes a Publication by a Member of the American Catholic Philosophical Association. The Editors Welcome Suggestions for Reviews. Allman, Mark J. Who Would Jesus Kill? War, Peace, and the Christian Tradition. Winona, Minn.: St. Mary's Press, 2008. Pp. 325. Paper $24.95, ISBN: 978-0-88489-984-6. [REVIEW]G. E. M. Anscombe & St Thomas Aquinas - 2008 - American Catholic Philosophical Quarterly 82 (4).
  43.  52
    On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 65 (3):323-353.
    This work is divided in two papers (Part I and Part II). In Part I, we study a class of polymodal logics (herein called the class of "Rare-logics") for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability are established by faithfully translating the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44.  29
    Linear-Time Temporal Logics with Presburger Constraints: An Overview ★.Stéphane Demri - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):311-347.
    We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are well-designed to specify and verify systems that can be modelled with counter systems. The paper recalls the general framework of LTL over concrete domains and presents the main decidability and complexity results related to fragments of Presburger LTL. Related formalisms are also briefly presented.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45. St. Thomas Aquinas on Death and the Separated Soul.Patrick Toner - 2010 - Pacific Philosophical Quarterly 91 (4):587-599.
    Since St. Thomas Aquinas holds that death is a substantial change, a popular current interpretation of his anthropology must be mistaken. According to that interpretation – the ‘survivalist’ view – St. Thomas holds that we human beings survive our deaths, constituted solely by our souls in the interim between death and resurrection. This paper argues that St. Thomas must have held the ‘corruptionist’ view: the view that human beings cease to exist at their deaths. Certain objections to the corruptionist view (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  46.  19
    Extensions of Modal Logic S5 Preserving NP-Completeness.Stéphane Demri - 1997 - Bulletin of the Section of Logic 26 (2):73-84.
  47.  43
    Would St. Thomas Aquinas Baptize an Extraterrestrial?Edmund Michael Lazzari - 2018 - New Blackfriars 99 (1082):440-457.
    This paper will attempt an investigation of hypothetical intelligent extraterrestrial life from the perspective of the philosophy and theology of St. Thomas Aquinas. Section I will feature an overview of St. Thomas's relevant philosophy of human nature and the differences between human and extraterrestrial natures. Section II will, with special attention to St. Thomas's De malo, treat some possibilities regarding the need for salvation in our hypothetical species. Section III will outline relevant aspects of Thomistic soteriology, especially the reasons behind (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  18
    A Framework for the Transfer of Proofs, Lemmas and Strategies From Classical to Non Classical Logics.Ricardo Caferra, Stéphane Demri & Michel Herment - 1993 - Studia Logica 52 (2):197 - 232.
    There exist valuable methods for theorem proving in non classical logics based on translation from these logics into first-order classical logic (abbreviated henceforth FOL). The key notion in these approaches istranslation from aSource Logic (henceforth abbreviated SL) to aTarget Logic (henceforth abbreviated TL). These methods are concerned with the problem offinding a proof in TL by translating a formula in SL, but they do not address the very important problem ofpresenting proofs in SL via a backward translation. We propose a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  25
    On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
    This work is divided in two papers (Part I and Part II). In Part I, we introduced the class of Rare-logics for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability were established by faithfully translating the Rare-logics into more standard modal logics (some (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50.  3
    Commentary on Aristotle's on Interpretation.St Thomas Aquinas - 2014 - St. Augustines Dumb Ox Books.
    A continuation of the eminent series of Aristotelian Commentaries of St. Thomas from Dumb Ox Books, which will make St. Thomas's commentary on Aristotle's On Interpretation available.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000