Switch to: References

Citations of:

General dynamic logic

In Dov M. Gabbay (ed.), What is a logical system? New York: Oxford University Press (1994)

Add citations

You must login to add citations.
  1. The philosophy of alternative logics.Andrew Aberdein & Stephen Read - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press. pp. 613-723.
    This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Classical recapture.Andrew Aberdein - 2001 - In V. Fano, M. Stanzione & G. Tarozzi (eds.), Prospettive Della Logica E Della Filosofia Della Scienza. Rubettino. pp. 11-18.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)The dynamic turn in twentieth century logic.Paul Gochet - 2002 - Synthese 130 (2):175 - 184.
    The dynamic nature ofGame-Theoretical Semantics is emphasized. The role of strategic meaning in accounting for linguistic competence is examined. The semantics of epistemic possibility is shown to involve a dynamic ingredient. Update semantics has been designed to capture it. The paper focuses on the interplay betweenlogical and linguistic competences indiscourse understanding.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Crítica a la noción de modelo de Patrick Suppes.Rodrigo López-Orellana & Juan Redmond - 2021 - Revista de filosofía (Chile) 78:135-155.
    Nuestro objetivo es analizar críticamente el enfoque de la noción de modelo de Alfred Tarski que Patrick Suppes integra en su concepción semanticista de las teorías científicas. En efecto, mostraremos cómo esta noción se configura en Suppes (1969; 1970) desde una revisión formal de la noción de modelo en Tarski (1936), focalizando nuestro análisis en tres ejes principales: i) una crítica a la perspectiva estática del semanticismo; ii) un análisis de las condiciones restrictivas y el lenguaje para la axiomatización de (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Metalogical properties, being logical and being formal.Jan Woleński - 2002 - Logic and Logical Philosophy 10:211.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples.Bob Coecke, David J. Moore & Sonja Smets - 2004 - In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 527--555.
    Download  
     
    Export citation  
     
    Bookmark   4 citations