12 found
Order:
  1.  36
    The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2019 - Erkenntnis:1-29.
    Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  17
    Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2014 - Journal of Philosophical Logic 43 (2-3):209-238.
    We show that basic hybridization makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$@_i$\end{document} in propositional and first-order hybrid logic. This means: interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$@_i\alpha _a$\end{document}, where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  98
    Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
    We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  12
    Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.
    Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  5
    Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - 2019 - Studia Logica 107 (6):1159-1198.
    Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  70
    Hybrid Type Theory: A Quartet in Four Movements.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2011 - Principia: An International Journal of Epistemology 15 (2):225.
    Este artigo canta uma canção — uma canção criada ao unir o trabalho de quatro grandes nomes na história da lógica: Hans Reichenbach, Arthur Prior, Richard Montague, e Leon Henkin. Embora a obra dos primeiros três desses autores tenha sido previamente combinada, acrescentar as ideias de Leon Henkin é o acréscimo requerido para fazer com que essa combinação funcione no nível lógico. Mas o presente trabalho não se concentra nas tecnicalidades subjacentes (que podem ser encontradas em Areces, Blackburn, Huertas, e (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  5
    Hybrid Type Theory: A Quartet in Four Movements DOI:10.5007/1808-1711.2011v15n2p225.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2011 - Principia: An International Journal of Epistemology 15 (2):225-247.
    This paper sings a song — a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin. Although the work of the first three of these authors have previously been combined, adding the ideas of Leon Henkin is the addition required to make the combination work at the logical level. But the present paper does not focus on the underlying technicalities rather it focusses on the (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  8
    A Common Frame for Formal Imagination.Joan Casas-Roma, M. Elena Rodríguez & Antonia Huertas - 2019 - Minds and Machines 29 (4):603-634.
    In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  6
    A Common Frame for Formal Imagination.Joan Casas-Roma, M. Elena Rodríguez & Antonia Huertas - 2019 - Minds and Machines 29 (4):603-634.
    In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  9
    A Common Frame for Formal Imagination.Joan Casas-Roma, M. Elena Rodríguez & Antonia Huertas - 2019 - Minds and Machines 29 (4):603-634.
    In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  14
    The Logic of Imaginary Scenarios.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2020 - Logic Journal of the IGPL 28 (3):363-388.
    Imagining is something we use everyday in our lives and in a wide variety of ways. In spite of the amount of works devoted to its study from both psychology and philosophy, there are only a few formal systems capable of modelling it; besides, almost all of those systems are static, in the sense that their models are initially predefined, and they fail to capture the dynamic process behind the creation of new imaginary scenarios. In this work, we review some (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  7
    Teaching and Learning Logic in a Virtual Learning Environment.Antonia Huertas - 2007 - Logic Journal of the IGPL 15 (4):321-331.
    Teaching and learning in a virtual learning environment poses some difficulties, but also challenges and opportunities to rethink the whole learning process, particularly in abstract subjects like logic or high level mathematics. On the other hand, resources and ways to work, now available in VLEs, might soon extend to all kinds of environments. In this paper, we will present experiences at the Open University of Catalonia , a particular VLE, concerning the whole process of teaching logic and mathematics. In addition, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark