66 found
Order:
  1.  12
    Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - Cham, Switzerland: Springer Verlag.
    This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory. The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2. New Perspectives in Dialogical Logic.Shahid Rahman - forthcoming - Synthese.
  3.  28
    Dialectic, the Dictum de Omni and Ecthesis.Michel Crubellier, Mathieu Marion, Zoe McConaughey & Shahid Rahman - 2019 - History and Philosophy of Logic 40 (3):207-233.
    In this paper, we provide a detailed critical review of current approaches to ecthesis in Aristotle’s Prior Analytics, with a view to motivate a new approach, which builds upon previous work by Marion & Rückert (2016) on the dictum de omni. This approach sets Aristotle’s work within the context of dialectic and uses Lorenzen’s dialogical logic, hereby reframed with use of Martin-Löf's constructive type theory as ‘immanent reasoning’. We then provide rules of syllogistic for the latter, and provide proofs of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  49
    Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox.Shahid Rahman, Tero Tulenheimo & Emmanuel Genot (eds.) - 2008 - Dordrecht, Netherland: Springer.
    This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  5.  59
    From Games to Dialogues and Back.Shahid Rahman & Tero Tulenheimo - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 153--208.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  6.  21
    Unfolding Parallel Reasoning in Islamic Jurisprudence.Shahid Rahman & Muhammad Iqbal - 2018 - Arabic Sciences and Philosophy 28 (1):67-132.
  7.  9
    Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.
    We now move to the demonstration of the left-to-right direction of the equivalence result. Let us assume that there is a winning $$\mathbf {P}$$ P -strategy in the dialogical game for $$\varphi $$ φ.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8. Dialogical Connexive Logic.Shahid Rahman & Helge Rückert - 2001 - Synthese 127 (1-2):105-139.
    Many of the discussions about conditionals can best be put as follows:can those conditionals that involve an entailment relation be formulatedwithin a formal system? The reasons for the failure of the classical approachto entailment have usually been that they ignore the meaning connectionbetween antecedent and consequent in a valid entailment. One of the firsttheories in the history of logic about meaning connection resulted from thestoic discussions on tightening the relation between the If- and the Then-parts of conditionals, which in this (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  9.  14
    Armonía Dialógica: tonk, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos.Shahid Rahman & Juan Redmond - 2016 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 31 (1):27-53.
    Recent literature on dialogical logic discusses the case of tonk and the notion harmony in the context of a rule-based theory of meaning. Now, since the publications of those papers, a dialogical version of constructive type theory has been developed. The aim of the present paper is to show that, from the dialogical point of view, the harmony of the CTT- rules is the consequence of a more fundamental level of meaning characterized by the independence of players. We hope that (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  10.  1
    Inferences by Parallel Reasoning in Islamic Jurisprudence: Al-Shīrāzī’s Insights Into the Dialectical Constitution of Meaning and Knowledge.Shahid Rahman, Muhammad Iqbal & Youcef Soufi - 2019 - Cham, Switzerland: Springer Verlag.
    This monograph proposes a new way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyās. According to the authors’ view, qiyās represents an innovative and sophisticated form of dialectical reasoning that not only provides new epistemological insights into legal argumentation in general but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical reasoning (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  21
    Dialogical Connexive Logic.Shahid Rahman & Helge Rückert - 2001 - Synthese 127 (1):105-139.
    Many of the discussions about conditionals can best be put as follows: can those conditionals that involve an entailment relation be formulated within a formal system? The reasons for the failure of the classical approach to entailment have usually been that they ignore the meaning connection between antecedent and consequent in a valid entailment. One of the first theories in the history of logic about meaning connection resulted from the stoic discussions on tightening the relation between the If- and the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  12.  70
    Context-Sensitivity in Jain Philosophy: A Dialogical Study of Siddharṣigaṇi’s Commentary on the Handbook of Logic. [REVIEW]Nicolas Clerbout, Marie-Hélène Gorisse & Shahid Rahman - 2011 - Journal of Philosophical Logic 40 (5):633-662.
    In classical India, Jain philosophers developed a theory of viewpoints ( naya-vāda ) according to which any statement is always performed within and dependent upon a given epistemic perspective or viewpoint. The Jainas furnished this epistemology with an (epistemic) theory of disputation that takes into account the viewpoint in which the main thesis has been stated. The main aim of our paper is to delve into the Jain notion of viewpoint-contextualisation and to develop the elements of a suitable logical system (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13. Towards a Semantics for the Artifactual Theory of Fiction and Beyond.Matthieu Fontaine & Shahid Rahman - 2014 - Synthese 191 (3):499-516.
    In her book Fiction and Metaphysics (1999) Amie Thomasson, influenced by the work of Roman Ingarden, develops a phenomenological approach to fictional entities in order to explain how non-fictional entities can be referred to intrafictionally and transfictionally, for example in the context of literary interpretation. As our starting point we take Thomasson’s realist theory of literary fictional objects, according to which such objects actually exist, albeit as abstract and artifactual entities. Thomasson’s approach relies heavily on the notion of ontological dependence, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  30
    Constructive Type Theory and the Dialogical Approach to Meaning.Shahid Rahman & Nicolas Clerbout - 2013 - The Baltic International Yearbook of Cognition, Logic and Communication 8 (1).
    In its origins Dialogical logic constituted one part of a new movement called the Erlangen School or Erlangen Constructivism. Its goal was to provide a new start to a general theory of language and of science. According to the Erlangen-School, language is not just a fact that we discover, but a human cultural accomplishment whose construction reason can and should control. The resulting project of intentionally constructing a scientific language was called the Orthosprache-project. Unfortunately, the Orthosprache-project was not further developed (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15. Dialogische Modallogik (für T, B, S4, und S5).Shahid Rahman & Helge Rückert - 1999 - Logique Et Analyse 167 (168):243-282.
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  16.  3
    Introducing Consistency in a Dialogical Framework for Paraconsistent Logic.Eduardo Alejandro Barrio, Nicolas Clerbout & Shahid Rahman - 2020 - Logic Journal of the IGPL 28 (5):953-972.
    The logics of formal inconsistency are logics tolerant to some amount of contradiction, but in which some versions of explosion still hold. The main result of this paper is a reconstruction of two such logics in the dialogical framework. By doing so, we achieve two things. On the one hand, we provide a formal approach to argumentative situations where some contradictions may occur while keeping the idea that there may still be situations in which some propositions are ‘safe’ in the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  27
    Non-Normal Dialogics for a Wonderful World and More.Shahid Rahman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 311--334.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18. On Hypothetical Judgements and Leibniz’s Notion of Conditional Right.Shahid Rahman - 2015 - In Sandrine Chassagnard-Pinet, Patrice Canivez & Matthias Armgardt (eds.), Past and Present Interactions in Legal Reasoning and Logic. Springer Verlag.
  19.  25
    Epistemic and Dialectical Meaning in Abū Isḥāq Al-Shīrāzī’s System of Co-Relational Inferences of the Occasioning Factor.Shahid Rahman & Muhammad Iqbal - 2018 - Arabic Sciences and Philosophy 28 (1):67-132.
    One of the epistemological results emerging from this initial study is that the different forms of co-relational inference, known in the Islamic jurisprudence as qiyās, represent an innovative and sophisticated form of reasoning that not only provides new epistemological insights into legal reasoning in general but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical argumentation studied in contemporary (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. The Realism-Antirealism Debate in the Age of Alternative Logics.Shahid Rahman, Giuseppe Primiero & Mathieu Marion (eds.) - 2011 - Dordrecht and London: Springer.
    The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Leibniz's Notion of Conditional Right and the Dynamics of Public Announcement.Sébastien Magnier & Shahid Rahman - unknown
    The main aim of our paper is to implement Leibniz's analysis of the conditional right in the framework of a dialogical approach to Public Announcement Logic. According to our view, on one hand: PAL furnishes a dynamic epistemic operator which models communication exchange between different agents that seems to be very close to Leibniz understanding of the dynamics between the truth of a proposition and the knowledge of the truth of that proposition (Leibniz calls the latter certification of its truth); (...)
     
    Export citation  
     
    Bookmark   2 citations  
  22.  15
    Logic, Epistemology and the Unity of Science: An Encyclopedic Project in the Spirit of Neurath and Diderot.Shahid Rahman & John Symons - 2004 - In S. Rahman J. Symons (ed.), Logic, Epistemology, and the Unity of Science. Kluwer Academic Publisher. pp. 3--15.
  23.  26
    Fiction, Creation and Fictionality : An Overview.Matthieu Fontaine & Shahid Rahman - 2010 - Methodos 10:1-75.
    La réflexion philosophique sur la non-existence est une thématique qui a été abordée au commencement même de la philosophie et qui suscite, depuis la publication en 1905 de « On Denoting » par Russell, les plus vifs débats en philosophie analytique. Cependant, le débat féroce sur la sémantique des noms propres et des descriptions définies qui surgirent suite à la publication du « On Referring » par Strawson en 1950 n’engagea pas d’étude systématique de la sémantique des fictions. En fait, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  15
    Ibn Sīnā’s Approach to Equality and Unity.Shahid Rahman, Johan Georg Granström & Zaynab Salloum - 2014 - Arabic Sciences and Philosophy 24 (2):297-307.
  25. On Dialogues and Ontology. The Dialogical Approach to Free Logic.Shahid Rahman, M. Fischmann & H. Rückert - 1997 - Logique Et Analyse 160:357-374.
  26.  29
    Individuality in Fiction and the Creative Role of the Reader.Matthieu Fontaine & Shahid Rahman - 2012 - Revue Internationale de Philosophie 262 (4):539-560.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  27.  30
    Preface.Shahid Rahman & Helge Rückert - 2001 - Synthese 127 (1-2):1-6.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Die pragmatischen Sinn-und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes.Shahid Rahman & Helge Rückert - 1998 - Philosophia Scientiae 3 (3):145-170.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  29.  20
    Hugh Maccoll: Eine Bibliographische Erschließung Seiner Hauptwerke Und Notizen Zu Ihrer Rezeptionsgeschichte.Shahid Rahman - 1997 - History and Philosophy of Logic 18 (3):165-183.
    The work of Hugh MacColl (1837?1909) suffered the same fate after his death as before it:despite being vaguely alluded to and in part even commended, on the whole it has remained an unknown quantity. Even worse, those of his ideas which have played a decisive role in the history of logic have been credited to his successors; this is especially the case with the definition of strict implication and the first formal development of formal modal logic. This paper takes an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30. Special Sciences and the Unity of Science.Olga Pombo, Juan Manuel Torres, John Symons & Shahid Rahman (eds.) - 2012 - Dordrecht, Netherland: Springer.
    Science is a dynamic process in which the assimilation of new phenomena, perspectives, and hypotheses into the scientific corpus takes place slowly. The apparent disunity of the sciences is the unavoidable consequence of this gradual integration process. Some thinkers label this dynamical circumstance a ‘crisis’. However, a retrospective view of the practical results of the scientific enterprise and of science itself, grants us a clear view of the unity of the human knowledge seeking enterprise. This book provides many arguments, case (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  30
    Ways of Understanding Hugh MacColl's Concept of Symbolic Existence.Shahid Rahman - 1998 - Nordic Journal of Philosophical Logic 3:35-58.
  32. Parallel Reasoning by Ratio Legis in Contemporary Jurisprudence. Elements for a Dialogical Approach.M. Dolors Martínez-Cazalla, Tania Menéndez-Martín & Shahid Rahman - 2021 - In Teresa Lopez-Soto (ed.), Dialog Systems: A Perspective From Language, Logic and Computation. Springer Verlag. pp. 163-187.
    Nowadays, there is a quite considerable amount of literature on the use of analogy or more generally of inferences by parallel reasoning in contemporary legal reasoning and particularly so within Common Law. These studies are often motivated by research in artificial intelligence seeking to develop suitable software-support for legal reasoning. Recently, Rahman et al. developed a dialogical approach in the framework of Constructive Type Theory to what in Islamic Jurisprudence was called qiyās or correlational inferences. In their last chapter the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad Ardeshir.Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.) - 2021 - Springer.
    This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Building a Winning $$\mathbf {P}$$ P -Strategy Out of a CTT Demonstration.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory. Springer Verlag.
     
    Export citation  
     
    Bookmark  
  35. Brief Reminder of Constructive Type Theory.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory. Springer Verlag.
     
    Export citation  
     
    Bookmark  
  36. Conclusions and Work in Progress.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  37. Die logische Kompetenz und die Theorie der mentalen Modelle.Shahid Rahman & Narahari Rao - 2000 - Philosophia Scientiae 4 (2):133-146.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Dialogues, Reasons and Endorsement.Shahid Rahman - 2019 - In Christina Weiss (ed.), Constructive Semantics. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  39. Dialogues with Play-Objects.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  40. From Dialogical Strategies to CTT Demonstrations.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  41. On Descriptional Propositions in Ibn Sīnā: Elements for a Logical Analysis.Shahid Rahman & Mohammad Saleh Zarepour - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 411-431.
    Employing Constructive Type Theory Constructive Type Theory, we provide a logical analysis of[aut]Ibn SīnāIbn Sīnā’sIbn Sīnā descriptional propositions. Compared to its rivals, our analysis is more faithful to the grammatical subject-predicate structure of propositions and can better reflect the morphological features of the verbs that extend time to intervals. We also study briefly the logical structure of some fallacious inferences that are discussed by Ibn Sīnā. The CTT-framework makes the fallacious nature of these inferences apparent.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. The Dialogical Take on the Axiom of Choice, and Its Translation Into CTT.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory. Springer Verlag.
     
    Export citation  
     
    Bookmark  
  43. Essay on Russell on Modalities and Frege on Judgement.Shahid Rahman - forthcoming - History and Philosophy of Logic.
  44. Interacción E Igualdad. La Interpretación Dialógica de la Teoría Constructiva de Tipos.Shahid Rahman, Nicolas Clerbout & Juan Redmond - 2017 - Crítica. Revista Hispanoamericana de Filosofía 49 (145):49-89.
    The main aim of the present paper is to show, by means of a dialogical study, that the notion of judgemental equality of Constructive Type Theory, which in this theory furnishes the criterion of identity of a type, can be understood from the game-theoretical point of view as the result of a specific form of dialogical interaction governed by the development rule known as formal rule or Socratic rule, which prescribes the use of copy-cat moves. It will be shown, as (...)
    No categories
     
    Export citation  
     
    Bookmark  
  45.  22
    Dialogical Harmony: Tonk, Constructive Type Theory and Rules for Anonymous Players.Juan Redmond & Shahid Rahman - unknown
    Recent literature on dialogical logic discusses the case of tonk and the notion harmony in the context of a rule-based theory of meaning. Now, since the publications of those papers, a dialogical version of constructive type theory has been developed. The aim of the present paper is to show that, from the dialogical point of view, the harmony of the CTT-rules is the consequence of a more fundamental level of meaning characterized by the independence of players. We hope that the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  1
    Under the Talking-Tree: Proverbs as Reasons. The Dialogical Articulaton of Proverbs Within the Baule Tradition.Adjoua Bernadette Dango & Shahid Rahman - 2021 - In Teresa Lopez-Soto (ed.), Dialog Systems: A Perspective From Language, Logic and Computation. Springer Verlag. pp. 55-73.
    The Talking-Tree or Palaver Tree is a designated location in many African traditions where the community comes together to discuss, in a peaceful and constructive manner, issues of common interest. It is conceived as an open gathering space of interactive communication led by the stance that finding a compromise or common solution is the best way to consolidate a community. At times, the interchange taking place at a Talking-Tree may also transform into conflict management. Conflict management unfolds into several specific (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  1
    What the Weatherman Said: Enrichment, CTT and the Dialogical Approach to Moderate Contextualism.Shahid Rahman - 2021 - In Teresa Lopez-Soto (ed.), Dialog Systems: A Perspective From Language, Logic and Computation. Springer Verlag. pp. 75-114.
    The main aim of the present paper is to show that the recently developed dialogical approach to Martin-Löf’s Constructive Type Theory, called Immanent Reasoning, provides the means for distinguishing François Recanati’s process of free enrichment and saturation, meets his own objections against perspectives based on unarticulated constituents and opens a new venue to pragmatic modulation, where the speaker-receiver interaction is integrated into the notion of enrichment. In such a setting enrichment operates on proof-objects that make fully articulated event-propositions true. The (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. La Dialogique Temporelle Ou Patrick Blackburn Par Lui Même.Laure Damien, Marie-Hélène Gorisse & Shahid Rahman - 2004 - Philosophia Scientiae 8 (2):39-59.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  49. Interacción e igualdad. La interpretación dialógica de la teoría constructiva de tipos.Shahid Rahman, Nicolas Clerbout & Juan Redmond - 2017 - Critica 49 (145):49-89.
    Mediante un estudio dialógico de la noción de igualdad definicional de la teoría constructiva de tipos, se mostrará que tal igualdad, que en la TCT provee el criterio de identidad asociado a un tipo, puede comprenderse, desde el punto de vista lúdico, como resultado de una forma específica de interacción dialógica regida por la regla formal, más conocida recientemente como la regla socrática, que prescribe el uso de jugadas de espejo. Esto se ilustrará con el desarrollo dialógico de las partes (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  19
    Dialogique temporelle et hybridation.Laure Damien, Marie-Hélène Gorisse & Shahid Rahman - 2004 - Philosophia Scientiae 8 (2):17-38.
    The aim of the paper is to offer a dialogical interpretation of standard temporal logic. This interpretation will use hybrid languages which were used by Patrick Blackburn to characterize modal logic as dialogical logic.RésuméL’objectif de cet article est de donner une interprétation dialogique de la logique temporelle standard. Dans ce cadre, nous utiliserons les langages hybrides dont Patrick Blackburn s’est servi pour caractériser la logique modale comme logique dialogique.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 66