Results for 'Y. Venema'

1000+ found
Order:
  1.  10
    E. Grädel, P.G. Kolaitis, L. Libkin, M. Marx, J. Spencer, M.Y. Vardi, Y. Venema and S. Weinstein. Finite Model Theory and its Applications. Texts in Theoretical Computer Science. Springer, Berlin, 2007, Xiii + 437 Pp. [REVIEW]Stephan Kreutzer - 2010 - Bulletin of Symbolic Logic 16 (3):406-407.
  2.  53
    Finite Model Theory and its Applications.Erich Grädel, Phokion Kolaitis, Libkin G., Marx Leonid, Spencer Maarten, Vardi Joel, Y. Moshe, Yde Venema & Scott Weinstein - 2007 - Springer.
    This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  9
    Review: Review of Modal Logic P. Blackburn, M. De Rijke, Y. Venema: Review of Modal Logic. [REVIEW]Heinrich Wansing - 2002 - Logic Journal of the IGPL 10 (4):457-458.
  4.  20
    A Strict Implication Calculus for Compact Hausdorff Spaces.G. Bezhanishvili, N. Bezhanishvili, T. Santoli & Y. Venema - 2019 - Annals of Pure and Applied Logic 170 (11):102714.
  5.  7
    Editorial.A. Montanari, A. Policriti & Y. Venema - 1999 - Logic Journal of the IGPL 7 (1):5-6.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. REVIEWS-Modal Logic.P. Blackburn, M. De Rijke, Y. Venema & Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-300.
  7.  29
    Squares in Fork Arrow Logic.Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343-355.
    In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  22
    Squares in Fork Arrow Logic.Renata P. De Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343 - 355.
    In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  22
    Expressiveness and Completeness of an Interval Tense Logic.Yde Venema - 1990 - Notre Dame Journal of Formal Logic 31 (4):529-547.
  10. In Y. Engeström, R. Miettinen, and R. Punamaki.Y. Engeström - 1999 - In Yrjö Engeström, Reijo Miettinen & Raija-Leena Punamäki-Gitai (eds.), Perspectives on Activity Theory. Cambridge University Press.
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  11.  23
    Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
    Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention as an attractive (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   139 citations  
  12.  9
    Ortega y sus fuentes germánicas.Nelson R. Orringer & José Ortega Y. Gasset - 1979 - Gredos.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  16
    A Sahlqvist Theorem for Distributive Modal Logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1-3):65-102.
    In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragment of classical propositional logic given by conjunction, disjunction, true, and false. For these logics we define both algebraic semantics, in the form of distributive modal algebras, and relational semantics, in the form of ordered Kripke structures. The main contributions of this paper lie in extending the notion of Sahlqvist (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  14.  53
    Modal Logic.Yde Venema - 2000 - Philosophical Review 109 (2):286-289.
    Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention as an attractive (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   82 citations  
  15.  1
    El Hombre y la Gente.José Ortega Y. Gasset - 1946 - Revista de Occidente.
    Desde 1935 Ortega anunció la publicación de un libro con el título de El hombre y la gente contendría su doctrina sociológica, pero sólo se publicó en 1957 y como la primera de sus obras póstumas. Esta nueva edición incluye el texto, inédito hasta la fecha, de la conferencia pronunciada por Ortega en 1934 a la que había dado el título que hoy lleva este libro, y en la que por primera vez expuso públicamente su idea de los " usos (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  16.  17
    Ontología y nihilismo.Teresa Oñate Y. Zubía - 2000 - Endoxa 1 (12-2):723.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. Cylindric Modal Logic.Yde Venema - 1995 - Journal of Symbolic Logic 60 (2):591-623.
    Treating the existential quantification ∃ν i as a diamond $\diamond_i$ and the identity ν i = ν j as a constant δ ij , we study restricted versions of first order logic as if they were modal formalisms. This approach is closely related to algebraic logic, as the Kripke frames of our system have the type of the atom structures of cylindric algebras; the full cylindric set algebras are the complex algebras of the intended multidimensional frames called cubes. The main (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  18.  72
    Derivation Rules as Anti-Axioms in Modal Logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
    We discuss a `negative' way of defining frame classes in (multi)modal logic, and address the question of whether these classes can be axiomatized by derivation rules, the `non-ξ rules', styled after Gabbay's Irreflexivity Rule. The main result of this paper is a metatheorem on completeness, of the following kind: If Λ is a derivation system having a set of axioms that are special Sahlqvist formulas and Λ+ is the extension of Λ with a set of non-ξ rules, then Λ+ is (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  19.  18
    Gadamer y los Presocráticos. La Teología de la esperanza en el límite oculto de la Hermenéutica.Teresa Oñate Y. Zubía - 2005 - Endoxa 1 (20):795.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Multi-Dimensional Modal Logic.Maarten Marx & Yde Venema - 2000 - Studia Logica 65 (2):278-282.
     
    Export citation  
     
    Bookmark   20 citations  
  21.  3
    Origen y epílogo de la filosofía.José Ortega Y. Gasset - 1972 - Revista de Occidente.
  22.  90
    Teoría y experimento en Genética Mendeliana: una exposición en imágenes.Mario Casanueva Y. Diego Méndez - 2008 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 23 (3):285-306.
    En este artículo tratamos sobre los aspectos empíricos y conceptuales en la Genética Mendeliana y analizamos los vínculos entre ellos. Primero discutimos las ventajas de una representación gráfica de las teorías empíricas; luego pormenorizamos la estructura conceptual de la genécica; en seguida, esquematizamos su protocolo experimental, a continuación destacamos los engarces entre ambas representaciones y, por último, proporcionamos una caracterización holista de la práctica genética, donde el representar y el intervenir se encucntran entremezclados.In this article we deal with the conceptual (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  16
    Vico Y el constructivismo.Y. El Conocimiento Según la Ciencia - 2000 - Cuadernos Sobre Vico 11 (12):1999-2000.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  11
    Interculturalidad y Religión. Apuntes para una Interpretación Intercultural de la Crisis del Cristianismo en Europa.Raúl Fornet Y. Betancourt - 2011 - Revista Portuguesa de Filosofia 67 (4):663-678.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  72
    Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras.Maarten de Rijke & Yde Venema - 1995 - Studia Logica 54 (1):61-78.
    For an arbitrary similarity type of Boolean Algebras with Operators we define a class ofSahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities arecanonical, that is, their validity is preserved under taking canonical embedding algebras. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  26.  10
    Meditación de la técnica y otros ensayos sobre ciencia y filosofía.José Ortega Y. Gasset - 1982 - Revista de Occidente / Alianza Editorial.
    La Meditación de la técnica contiene las reflexiones de José Ortega y Gasset sobre un fenómeno de invasora presencia en el mundo contemporáneo. Trata, en suma, de inscribir el hecho de la técnica en el marco de una antropología filosófica, fundada en el sistema orteguiano, para así contribuir a la comprensión del momento histórico contemporáneo. El volumen incluye, además del curso ¿Qué es la técnica?, desarrollado en 1933 en la Universidad de Santander, otros textos afines: la conferencia El mito del (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  27. Análisis económico del Derecho y Derecho y Literatura: alternativas a los retos actuales de la Filosofía jurídica.Paloma Durán Y. Lalaguna & Teresa Arsuaga - 2022 - Anales de la Cátedra Francisco Suárez 56:155-179.
    La Filosofía del Derecho contemporánea plantea retos importantes, que según Carla Faralli se sistematizan en dos. Por una parte, la apertura a los hechos; y por otra a los valores políticos y éticos. La tradicional conversación del iusnaturalismo con positivismo y el realismo jurídico parece haber sido superada, especialmente después de la obra de Hart. Y en este periodo, lo cierto es que las consecuencias del realismo jurídico han derivado en modos de proponer el concepto, aplicación e interpretación del Derecho, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  2
    Correspondencia: José Ortega y Gasset, Helene Weyl.José Ortega Y. Gasset & Helene Weyl - 2008 - Fundación José Ortega y Gasset.
    El filósofo español José Ortega y Gasset y su traductora al alemán Helene Weyl intercambiaron correspondencia entre los años 1923 y 1946. José Ortega y Gasset y Helene Weyl formaron parte de dos grandes comunidades de intelectuales europeos: Ortega, representante de la filosofía académica en España y Helene Weyl, representante de una intelectualidad vivida más allá de cualquier corsé academicista. Su correspondencia documenta el desarrollo de dos grandes espíritus europeos así como la singular intersección de estos dos mundos y culturas (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Evolución cognitiva y conocimiento reflexivo. La teoría de los órdenes sociales de Emanuel Adler y la elección de la Convención Nacional Constituyente en Uruguay.Adolfo Garcé García Y. Santos - 2019 - Araucaria 21 (42).
    El 30 de julio de 1916 se eligieron los representantes para la Convención encargada de elaborar la segunda constitución uruguaya que fijó las reglas de la naciente democracia. En esta elección se utilizaron por primera vez el voto secreto y una versión inédita de representación proporcional. Para explicar por qué se usaron esas reglas y no otras, se utiliza la teoría de los órdenes sociales de Emanuel Adler. Las nuevas reglas recogen en el plano institucional la evolución cognitiva de caudillos (...)
    No categories
     
    Export citation  
     
    Bookmark  
  30.  11
    Trabajo, don, cultura y economía: hacia un nuevo enfoque del problema económico.Miguel Alfonso MartínezEcheverría Y. Ortega & Germán Scalzo Molina - 2020 - Cuadernos Salmantinos de Filosofía 47:381-401.
    La reciente recuperación del concepto de don ha puesto de manifiesto la importancia del aspecto cultural en la vida de los hombres, lo que está contribuyendo a la configuración de un enfoque económico sustentado en una antropología más robusta y realista, que no gira en torno al individuo sino a la sociabilidad humana, sustentada en la familia. La transformación de la naturaleza que tiene lugar en las culturas no sería posible sin la capacidad del hombre de descubrir las posibilidades que (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
    This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   295 citations  
  32.  44
    A Passion for the Possible: Thinking with Paul Ricoeur.Brian Treanor & Henry Isaac Venema (eds.) - 2010 - Fordham University Press.
    The essays in this volume trace the fluid movement between phenomenological and religious descriptions of the capable self that emerges across Ricoeur's oeuvre ...
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  21
    Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras.Maarten De Rijke & Yde Venema - 1995 - Studia Logica 54 (1):61 - 78.
    For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities are canonical, that is, their validity is preserved under taking canonical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  34.  61
    Completeness for Flat Modal Fixpoint Logics.Luigi Santocanale & Yde Venema - 2010 - Annals of Pure and Applied Logic 162 (1):55-82.
    This paper exhibits a general and uniform method to prove axiomatic completeness for certain modal fixpoint logics. Given a set Γ of modal formulas of the form γ, where x occurs only positively in γ, we obtain the flat modal fixpoint language by adding to the language of polymodal logic a connective γ for each γΓ. The term γ is meant to be interpreted as the least fixed point of the functional interpretation of the term γ. We consider the following (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  4
    El Dios de Ockham y la ética de la voluntad.Miquel Beltrán Y. Cesc Torvá & Antoni Garí - 2004 - Cuadernos Salmantinos de Filosofía 31:23-36.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. Familia y armonía social. Equipotencia entre varón y mujer.Blanca Castilla Y. Cortázar - 1998 - Revista Agustiniana 39 (119):661-694.
    No categories
     
    Export citation  
     
    Bookmark  
  37. El ser y la filosofía: un diálogo con la concepción última de Ortega / Being and Philosophy: A Dialog with the Last Conception of Ortega.José María Rubert Y. Candáu - 1959 - Verdad y Vida 17 (65):113-127.
     
    Export citation  
     
    Bookmark  
  38.  54
    Identifying Selfhood: Imagination, Narrative, and Hermeneutics in the Thought of Paul Ricoeur.Henry Isaac Venema - 2000 - State University of New York Press.
    Traces the decentered formulation of self at the heart of Paul Ricoeur's philosophy from his earliest works to his most recent.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  39. Liberalismo Cientifico Y Progresismo Teologico.Y. Progresismo Teologico - 1971 - Salmanticensis 18:61.
    No categories
     
    Export citation  
     
    Bookmark  
  40. Poesia Culta Y Poesia Tradicional.Y. Poesia Tradicional - 1964 - Humanitas 12 (17):135.
     
    Export citation  
     
    Bookmark  
  41.  2
    Materiales de Ontología Estética y Hermenéutica: Los Hijos de Nietzsche I.Teresa Oñate Y. Zubía - 2009 - Dykinson.
    Este libro va dirigido esencialmente a los estudios de Postgrado de las Facultades de Filosofía de la UNED y de la UAM, en primer lugar, y de las universidades españolas e iberoamericanas en general. Pero sin duda interesará a cualquier persona que quiera estar al tanto del pensamiento filosófico actual. Es decir, de las Ideas propias de nuestro tiempo-espacio del pensar y de su diferencia histórica y mediática. La cuestión de la Filosofía de la Historia y la Historia Universal puesta (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  12
    Fundamentos del Postmodernismo y el no estar ni ahí de la Universidad en (y de) Chile.Carlos Y. Valenzuela - 2010 - Polis: Revista Latinoamericana 25.
    Se ha tratado de desprestigiar al postmodernismo y no se ha valorado su gran contribución a la cultura universal. El postmodernismo empieza a desarrollarse cuando el ser humano se da cuenta que no tan solo sus órganos de los sentidos pueden engañarlo, sino que también su intelecto, razón y sus facultades superiores más preciadas. Las caídas del positivismo y del racionalismo le abrieron la puerta, apoyado por la insuficiencia de la ciencia y la filosofía para entender el universo. La nomología (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Racionalidad Y autodeterminación.Biológica de la Moral la Justificación, Llama A. Juicio A. la Ciencia, Arbitrariedad Y. Posibilidad la Filosofíade Alteración, En Wittgenstein de Lenguajes, Indestructibilidad de Nuestro Verdadero Ser Por & La Muerte - 2002 - Ideas Y Valores 51 (118).
    No categories
     
    Export citation  
     
    Bookmark  
  44.  8
    Ideas y creencias y otros ensayos de filosofía.José Ortega Y. Gasset - 1959 - Revista de Occidente.
  45.  2
    Origen y epílogo de la filosofía y otros ensayos de filosofía.José Ortega Y. Gasset - 1946 - Alianza Editorial, S.A..
  46. Obras de José Ortega y Gasset.José Ortega Y. Gasset - 1921 - Caple.
    6 volumenes: 1. Meditaciones del Quijote, I. 3a ed. 2. Personas, obras, cosas. 2a ed. 3. España invertebrada. 4-6. El espectador. t. 1-3. 2a ed.
     
    Export citation  
     
    Bookmark  
  47.  20
    Venema, Henry Isaac. Identifying Selfhood: Imagination, Narrative and Hermeneutics in the Thought of Paul Ricoeur.Martin J. De Nys - 2001 - Review of Metaphysics 55 (1):166-167.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Riesgos Y beneficios en el consumo de plantas medicinales theoria, año/vol. 14, número 002 universidad Del bío-bío chillán, chile. [REVIEW]Riesgos Y. Beneficios En El Consumo, M. Arta A. Na C. Arballo, Cmc Ortada & Abg Adano - 2005 - Theoria 14 (2):95-108.
    No categories
     
    Export citation  
     
    Bookmark  
  49. Logics and Algebras for Multiple Players.Loes Olde Loohuis & Yde Venema - 2010 - Review of Symbolic Logic 3 (3):485-519.
    We study a generalization of the standard syntax and game-theoretic semantics of logic, which is based on a duality between two players, to a multiplayer setting. We define propositional and modal languages of multiplayer formulas, and provide them with a semantics involving a multiplayer game. Our focus is on the notion of equivalence between two formulas, which is defined by saying that two formulas are equivalent if under each valuation, the set of players with a winning strategy is the same (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  14
    Completeness for Μ-Calculi: A Coalgebraic Approach.Sebastian Enqvist, Fatemeh Seifan & Yde Venema - 2019 - Annals of Pure and Applied Logic 170 (5):578-641.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000