Kripke semantics

Results: 182



#Item
11  2 Avicenna sets up a modal logic with a Kripke semantics

1 2 Avicenna sets up a modal logic with a Kripke semantics

Add to Reading List

Source URL: wilfridhodges.co.uk

Language: English - Date: 2017-08-11 11:36:18
    2RESIDUATED FRAMES WITH APPLICATIONS TO DECIDABILITY NIKOLAOS GALATOS AND PETER JIPSEN Abstract. Residuated frames provide relational semantics for substructural logics and are a natural generalization of Kripke frames in

    RESIDUATED FRAMES WITH APPLICATIONS TO DECIDABILITY NIKOLAOS GALATOS AND PETER JIPSEN Abstract. Residuated frames provide relational semantics for substructural logics and are a natural generalization of Kripke frames in

    Add to Reading List

    Source URL: math.chapman.edu

    - Date: 2008-09-05 19:27:35
      3Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1  Department of Philosophy, Utrecht University

      Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University

      Add to Reading List

      Source URL: www.phil.uu.nl

      Language: English - Date: 2008-10-20 05:03:57
      4The Semantic Paradoxes and the Paradoxes of Vagueness Hartry Field∗ March 30, 2003 Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classic

      The Semantic Paradoxes and the Paradoxes of Vagueness Hartry Field∗ March 30, 2003 Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classic

      Add to Reading List

      Source URL: philosophy.fas.nyu.edu

      Language: English - Date: 2006-10-05 23:08:28
      5Chapter 11 Revenge, IForms of revenge It is hard enough to find a satisfying response to the paradoxes, but the phenomenon of revenge can make it seem impossible. In the simplest manifestation of revenge - call it

      Chapter 11 Revenge, IForms of revenge It is hard enough to find a satisfying response to the paradoxes, but the phenomenon of revenge can make it seem impossible. In the simplest manifestation of revenge - call it

      Add to Reading List

      Source URL: www.keith-simmons.com

      Language: English - Date: 2012-09-23 12:20:06
      6On the rules of intermediate logics Rosalie Iemhoff ∗  Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology

      On the rules of intermediate logics Rosalie Iemhoff ∗ Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology

      Add to Reading List

      Source URL: www.phil.uu.nl

      Language: English - Date: 2008-12-12 07:19:27
      7A(nother) characterization of Intuitionistic Propositional Logic Rosalie Iemho ILLC/Faculty of Science Universiteit van Amsterdam

      A(nother) characterization of Intuitionistic Propositional Logic Rosalie Iemho ILLC/Faculty of Science Universiteit van Amsterdam

      Add to Reading List

      Source URL: www.phil.uu.nl

      Language: English - Date: 2010-08-24 07:12:03
      8Forthcoming in a volume on the work of Keith Donnellan, edited by Joseph Almog (oxford University Press, Having in Mind Howard Wettstein University of California, Riverside

      Forthcoming in a volume on the work of Keith Donnellan, edited by Joseph Almog (oxford University Press, Having in Mind Howard Wettstein University of California, Riverside

      Add to Reading List

      Source URL: philosophy.ucr.edu

      Language: English - Date: 2013-07-19 11:29:37
      9A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn  Joost Winter

      A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter

      Add to Reading List

      Source URL: www.mhelvens.net

      Language: English - Date: 2012-09-02 13:47:59
      10On interpolation in existence logics Matthias Baaz and Rosalie Iemhoff!! Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Vienna, Austria , , http://www.logic.at/people/baaz, ht

      On interpolation in existence logics Matthias Baaz and Rosalie Iemhoff!! Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Vienna, Austria , , http://www.logic.at/people/baaz, ht

      Add to Reading List

      Source URL: www.phil.uu.nl

      Language: English - Date: 2008-12-12 07:17:45