Results for 'St��phane Demri'

1000+ found
Order:
  1.  3
    Towards Unravelling theIgf2/H19 Imprinted Domain.St�Phane Viville & M. Azim Surani - 1995 - Bioessays 17 (10):835-838.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  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  
  3.  29
    A Liberal Defence of the Intrinsic Value of Cultures.St|[Eacute]|Phane Courtois - 2008 - Contemporary Political Theory 7 (1):31.
  4.  24
    Does St. Thomas Really Prove the Soul’s Immortality?George St Hilaire - 1960 - New Scholasticism 34 (3):340-356.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  23
    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   2 citations  
  6.  5
    The Symbolic Spirituality of St. Francis.Donald P. St John - 1979 - Franciscan Studies 39 (1):192-205.
  7.  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  
  8.  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  
  9. St. Gregory Palamas and the Metaphysics of Creation.Eric D. Perl - 1989 - Dionysius 13:105-130.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  10. Improving Epistemological Beliefs and Moral Judgment Through an STS-Based Science Ethics Education Program.Hyemin Han & Changwoo Jeong - 2014 - Science and Engineering Ethics 20 (1):197-220.
    This study develops a Science–Technology–Society (STS)-based science ethics education program for high school students majoring in or planning to major in science and engineering. Our education program includes the fields of philosophy, history, sociology and ethics of science and technology, and other STS-related theories. We expected our STS-based science ethics education program to promote students’ epistemological beliefs and moral judgment development. These psychological constructs are needed to properly solve complicated moral and social dilemmas in the fields of science and engineering. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  11. John of St. Thomas [Poinsot] on Sacred Science: Cursus Theologicus I, Question 1, Disputation 2.John Of St Thomas - 2014 - St. Augustine's Press.
  12.  23
    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  
  13. 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 (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  14
    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   6 citations  
  15.  16
    Display Calculi for Logics with Relative Accessibility Relations.Stéphane Demri & Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):213-236.
    We define cut-free display calculi for knowledge logics wherean indiscernibility relation is associated to each set of agents, andwhere agents decide the membership of objects using thisindiscernibility relation. To do so, we first translate the knowledgelogics into polymodal logics axiomatised by primitive axioms and thenuse Kracht's results on properly displayable logics to define thedisplay calculi. Apart from these technical results, we argue thatDisplay Logic is a natural framework to define cut-free calculi for manyother logics with relative accessibility relations.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  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  
  17.  13
    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  
  18.  7
    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  
  19. A Logic with Relative Knowledge Operators.Demri Stephane - 1999 - Journal of Logic, Language and Information 8 (2).
  20.  29
    St. Augustine's Early Theory of Man, A.D. 386-391.Robert J. O'connell - 1968 - Belknap Press of Harvard University Press.
  21.  32
    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  
  22.  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  
  23.  47
    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.
  24.  1
    St. Anselm's Proslogion with a Reply on Behalf of the Fool.Saint Anselm (Archbishop of Canterbury) - 1965 - University of Notre Dame Press.
  25.  62
    The St. Petersburg Gamble and Risk.Paul Weirich - 1984 - Theory and Decision 17 (2):193-202.
    One resolution of the St. Petersburg paradox recognizes that a gamble carries a risk sensitive to the gamble's stakes. If aversion to risk increases sufficiently fast as stakes go up, the St. Petersburg gamble has a finite utility.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  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).
  27. 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 (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  28.  2
    Complexity of Modal Logics with Presburger Constraints.Stéphane Demri & Denis Lugiez - 2010 - Journal of Applied Logic 8 (3):233-252.
  29.  25
    Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177 - 200.
    In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Intro Summa Theologiae Thomas Aquinas: John of St. Thomas.John Of St Thomas & John Poinsot - 2004 - St. Augustine's Press.
     
    Export citation  
     
    Bookmark  
  31. St. Augustine's Confessions the Odyssey of Soul.Robert J. O'connell - 1969 - Belknap Press of Harvard University Press.
  32. The Confessions of St. Augustine.Saint Augustine - 1838 - Dent.
  33.  6
    Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177-200.
    In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics and LaFiRe-logics are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  7
    Uniform and Non Uniform Strategies for Tableaux Calculi for Modal Logics.Stéphane Demri - 1995 - Journal of Applied Non-Classical Logics 5 (1):77-96.
  35.  42
    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 (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. 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  
  37. St. Augustine on Time, Time Numbers, and Enduring Objects.Jason W. Carter - 2011 - Vivarium 49 (4):301-323.
    Throughout his works, St. Augustine offers at least nine distinct views on the nature of time, at least three of which have remained almost unnoticed in the secondary literature. I first examine each these nine descriptions of time and attempt to diffuse common misinterpretations, especially of the views which seek to identify Augustinian time as consisting of an un-extended point or a distentio animi . Second, I argue that Augustine's primary understanding of time, like that of later medieval scholastics, is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38. The Material Logic of John of St. Thomas: Basic Treatises.John of St Thomas - 1955 - Chicago: University of Chicago Press.
  39.  62
    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  
  40.  25
    Deleuze and Guattari’s Language for New Empirical Inquiry.Elizabeth Adams St Pierre - 2017 - Educational Philosophy and Theory 49 (11):1080-1089.
    This paper reviews Deleuze’s theory of language in Logic of Sense, and Deleuze and Guattari’s theory of language in A Thousand Plateaus. In the ontology informed by the Stoics described in those books, human being and language do not exist separately but in a mixture of words and things. The author argues that this flattened ontology of surfaces is incommensurable with the ontology of depth used in conventional humanist qualitative methodology and recommends beginning new empirical inquiry with a concept instead (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41. St Petersburg Dialogues: Or Conversations on the Temporal Government of Providence.Joseph de Maistre - 1993 - Mcgill-Queen's University Press.
    Written and set on the banks of the Neva, St Petersburg Dialogues is a startlingly relevant analysis of the human prospect at the end of the twentieth century. As the literary critic George Steiner has remarked, "the age of the Gulag and of Auschwitz, of famine and ubiquitous torture,... nuclear threat, the ecological laying waste of our planet, the leap of endemic, possibly pandemic, illness out of the very matrix of libertarian progress" is exactly what Maistre foretold. In the Dialogues (...)
     
    Export citation  
     
    Bookmark  
  42.  14
    St. Paul Among the Philosophers.John D. Caputo & Linda Martín 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  
  43. 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  
  44.  16
    The Language and Style of the Letters of St. Basil.A. C. Way & St Basil - 1927 - Journal of Hellenic Studies 47:309.
  45.  78
    St. Thomas Aquinas on the Problem of Too Many Thinkers.Patrick Toner - 2012 - Modern Schoolman 89 (3-4):209-222.
    It has been argued that St. Thomas Aquinas’s anthropological views fall prey to the problem of “Too Many Thinkers.” The worry, roughly, is that his views entail that I—a human person—am able to think, but that my soul—which is not a human person—is also able to think. Hence, too many thinkers: there are too many ofus having my thoughts. In this paper, I show why this is not a problem for St. Thomas. Along the way, I also address Peter Unger’s (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  46. The Confessions.St Augustine - 2006 - In Thomas L. Cooksey (ed.), Masterpieces of Philosophical Literature. Greenwood Press.
     
    Export citation  
     
    Bookmark   14 citations  
  47. St. Thomas and Modern Natural Science: Reconsidering Abstraction From Matter.John G. Brungardt - 2018 - In Carlos A. Casanova & Ignacio Serrano del Pozo (eds.), Cognoscens in Actu Est Ipsum Cognitum in Actu: Sobre Los Tipos y Grados de Conocimiento,. Santiago, Santiago Metropolitan Region, Chile: pp. 433–471.
    The realism grounding St. Thomas Aquinas’s pre-modern natural science defends the reception of similitudes of the forms of things known by abstraction. Modern natural science challenges this abstractio- nist account by recasting «form» in the leading role of principle of intelligibility—instead of forms, modern science discovers laws. Thomistic realism is prima facie incompatible with this account. Following Charles De Koninck, this essay outlines a rapprochement between the epistemology of pre-modern, Thomistic natural science and its modern successor. I argue that natural (...)
     
    Export citation  
     
    Bookmark   1 citation  
  48.  28
    Relationships Between Language Structure and Language Learning: The Suffixing Preference and Grammatical Categorization.Michelle C. St Clair, Padraic Monaghan & Michael Ramscar - 2009 - Cognitive Science 33 (7):1317-1329.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  49. The St. Petersburg Two-Envelope Paradox.David J. Chalmers - 2002 - Analysis 62 (2):155–157.
    I reason: (1) For any x, if I knew that A contained x, then the odds are even that B contains either 2x or x/2, so the expected amount in B would be 5x/4. So (2) for all x, if I knew that A contained x, I would have an expected gain in switching to B. So (3) I should switch to B. But this seems clearly wrong, as my information about A and B is symmetrical.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  50.  30
    St. Vincent de Paul and Business Ethics.John C. Bowes - 1998 - Journal of Business Ethics 17 (15):1663-1667.
    St. Vincent de Paul (1581–1660) is well known for his contribution to charitable and social works. Even though he left no detailed examination of his business practices, by examining his life and his commitment to the poor, it is possible to frame a Vincentian theology of business ethics. Such an understanding would include educating students in the social teaching of the Catholic Church, a preferential option for the poor, good organization, sound business theory, economizing, and a foundation in the liberal (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000