199 found
Order:
  1.  54
    Johan van Benthem (2007). Dynamic Logic for Belief Revision. Journal of Applied Non-Classical Logics 17 (2):129-155.
    We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consists of definable update rules for changing plausibility relations between worlds, which have been proposed independently in the dynamic-epistemic literature on preference change. Our analysis yields two new types of modal result. First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional reduction axioms. Next, we show (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   63 citations  
  2.  2
    Johan van Benthem (2014). Logic in Games. The MIT Press.
    A comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  3.  34
    Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit (2009). Merging Frameworks for Interaction. Journal of Philosophical Logic 38 (5):491-526.
    A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   28 citations  
  4.  52
    Johan van Benthem & Fenrong Liu (2007). Dynamic Logic of Preference Upgrade. Journal of Applied Non-Classical Logics 17 (2):157-182.
    Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ?upgrade' our preferences by changing the current order among worlds. We present a complete logic of knowledge update plus preference upgrade that works with dynamic-epistemic-style reduction axioms. This system can model changing obligations, conflicting commands, or ?regret'. We then show how to derive reduction axioms from arbitrary definable relation changes. This style of analysis also has a product update version with preferences between (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   33 citations  
  5.  12
    Johan van Benthem (2011). Logical Dynamics of Information and Interaction. Cambridge University Press.
    Machine generated contents note: Preface; 1. Logical dynamics, agency, and intelligent interaction; 2. Epistemic logic and semantic information; 3. Dynamic logic of public observation; 4. Multi-agent dynamic-epistemic logic; 5. Dynamics of inference and awareness; 6. Questions and issue management; 7. Soft information, correction, and belief change; 8. An encounter with probability; 9. Preference statics and dynamics; 10. Decisions, actions, and games; 11. Processes over time; 12. Epistemic group structure and collective agency; 13. Logical dynamics in philosophy; 14. Computation as conversation; (...)
    Direct download  
     
    Export citation  
     
    My bibliography   11 citations  
  6.  21
    van Benthem, Johan, van Eijck, Jan & Kooi, Barteld, Logics of Communication and Change.
    Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of ‘relativized common knowledge’, in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous ‘reduction axioms’. We also (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   35 citations  
  7.  13
    Barteld Kooi, Jan van Eijck & Johan van Benthem, Logics of Communication and Change.
    Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of ‘relativized common knowledge’, in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous ‘reduction axioms’. We also (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   35 citations  
  8.  78
    Johan van Benthem, Rational Dynamics and Epistemic Logic in Games.
    Game-theoretic solution concepts describe sets of strategy profiles that are optimal for all players in some plausible sense. Such sets are often found by recursive algorithms like iterated removal of strictly dominated strategies in strategic games, or backward induction in extensive games. Standard logical analyses of solution sets use assumptions about players in fixed epistemic models for a given game, such as mutual knowledge of rationality. In this paper, we propose a different perspective, analyzing (...) algorithms as processes of learning which change game models. Thus, strategic equilibrium gets linked to fixed-points of operations of repeated announcement of suitable epistemic statements. This dynamic stance provides a new look at the current interface of games, logic, and computation. (shrink)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   13 citations  
  9.  15
    Johan van Benthem & Ştefan Minică (2012). Toward a Dynamic Logic of Questions. Journal of Philosophical Logic 41 (4):633-669.
    Questions are triggers for explicit events of ‘issue management’. We give a complete logic in dynamic-epistemic style for events of raising, refining, and resolving an issue, all in the presence of information flow through observation or communication. We explore extensions of the framework to multi-agent scenarios and long-term temporal protocols. We sketch a comparison with some alternative accounts.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  10.  27
    Johan van Benthem, 'One is a Lonely Number': On the Logic of Communication.
    Logic is not just about single-agent notions like reasoning, or zero-agent notions like truth, but also about communication between two or more people. What we tell and ask each other can be just as 'logical' as what we infer in Olympic solitude. We show how such interactive phenomena can be studied systematically by merging epistemic and dynamic logic.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   12 citations  
  11.  60
    Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.) (2007). Handbook of Modal Logic. Elsevier.
    The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners (...)
    Direct download  
     
    Export citation  
     
    My bibliography   12 citations  
  12.  56
    Johan van Benthem, Games in Dynamic-Epistemic Logic.
    We discuss games of both perfect and imperfect information at two levels of structural detail: players’ local actions, and their global powers for determining outcomes of the game. We propose matching logical languages for both. In particular, at the ‘action level’, imperfect information games naturally model a combined ‘dynamic-epistemic language’ – and we find correspondences between special axioms and particular modes of playing games with their information dynamics. At the ‘outcome level’, we present suitable notions of game equivalence, plus some (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   11 citations  
  13.  2
    Johan van Benthem (2001). Exploring Logical Dynamics. Studia Logica 67 (1):111-114.
    Direct download  
     
    Export citation  
     
    My bibliography   26 citations  
  14.  26
    Johan van Benthem, Preference Logic, Conditionals and Solution Concepts in Games.
    Preference is a basic notion in human behaviour, underlying such varied phenomena as individual rationality in the philosophy of action and game theory, obligations in deontic logic (we should aim for the best of all possible worlds), or collective decisions in social choice theory. Also, in a more abstract sense, preference orderings are used in conditional logic or non-monotonic reasoning as a way of arranging worlds into more or less plausible ones. The field of preference logic (cf. Hansson [10]) studies (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  15.  52
    Johan van Benthem, Jelle Gerbrandy & Barteld Kooi (2009). Dynamic Update with Probabilities. Studia Logica 93 (1):67-96.
    Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  16.  10
    Johan van Benthem & Eric Pacuit (2011). Dynamic Logics of Evidence-Based Beliefs. Studia Logica 99 (1-3):61-92.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  17.  25
    Johan van Benthem, Merging Observation and Access in Dynamic Logic.
    Rational agents base their actions on information from observation, inference, introspection, or other sources. But this information comes in different kinds, and it is usually handled by different logical mechanisms. We discuss how to integrate external ‘updating information’ and internal ‘elucidating information’ into one system of dynamic epistemic logic, by distinguishing two basic informational actions: ‘bare seeing’ versus ‘conscious realization’.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  18.  92
    Johan van Benthem (2004). What One May Come to Know. Analysis 64 (2):95–105.
    The general verificationist thesis says that What is true can be known or formally: φ → ◊Kφ VT Fitch's argument trivializes this principle. It uses a weak modal epistemic logic to show that VT collapses truth and knowledge, by taking a clever substitution instance for φ: P ∧ ¬KP → ◊ K(P ∧ ¬KP) Then we have the following chain of three conditionals (a) ◊ K(P ∧ ¬KP) → ◊ (KP ∧ K¬KP) in the minimal modal logic for the knowledge (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  19.  5
    Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch & Stefan Minica (2011). Question–Answer Games. Journal of Applied Non-Classical Logics 21 (3-4):265-288.
    We propose strategic games wherein the strategies consist of players asking each other questions and answering those questions. We study simplifications of such games wherein two players simultaneously ask each other a question that the opponent is then obliged to answer. The motivation for our research is to model conversation including the dynamics of questions and answers, to provide new links between game theory and dynamic logics of information, and to exploit the dynamic/strategic structure that, we think, lies implicitly inside (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  20. J. F. A. K. van Benthem (1986). Essays in Logical Semantics. Monograph Collection (Matt - Pseudo).
    Direct download  
     
    Export citation  
     
    My bibliography   20 citations  
  21.  7
    J. F. A. K. van Benthem (1983). Modal Logic and Classical Logic. Distributed in the U.S.A. By Humanities Press.
  22.  33
    Johan van Benthem (2008). Logic and Reasoning: Do the Facts Matter? Studia Logica 88 (1):67-84.
    Modern logic is undergoing a cognitive turn, side-stepping Frege’s ‘antipsychologism’. Collaborations between logicians and colleagues in more empirical fields are growing, especially in research on reasoning and information update by intelligent agents. We place this border-crossing research in the context of long-standing contacts between logic and empirical facts, since pure normativity has never been a plausible stance. We also discuss what the fall of Frege’s Wall means for a new agenda of logic as a theory of rational agency, and (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  23.  8
    Johan van Benthem (2012). The Logic of Empirical Theories Revisited. Synthese 186 (3):775-792.
    Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  24.  41
    Johan van Benthem & Darko Sarenac, The Geometry of Knowledge.
    The most widely used attractive logical account of knowledge uses standard epistemic models, i.e., graphs whose edges are indistinguishability relations for agents. In this paper, we discuss more general topological models for a multi-agent epistemic language, whose main uses so far have been in reasoning about space. We show that this more geometrical perspective affords greater powers of distinction in the study of common knowledge, defining new collective agents, and merging information for groups of agents.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  25. Pieter Adriaans & Johan van Benthem (2008). Handbook of Philosophy of Information. Elsevier.
    Information is a recognized fundamental notion across the sciences and humanities, which is crucial to understanding physical computation, communication, and human cognition. The Philosophy of Information brings together the most important perspectives on information. It includes major technical approaches, while also setting out the historical backgrounds of information as well as its contemporary role in many academic fields. Also, special unifying topics are high-lighted that play across many fields, while we also aim at identifying relevant themes for philosophical reflection. There (...)
    Translate
     
     
    Export citation  
     
    My bibliography   5 citations  
  26.  2
    Johan van Benthem (2012). The Range of Modal Logic. Journal of Applied Non-Classical Logics 9 (2-3):407-442.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  27.  5
    Johan Van Benthem, Logical Dynamics of Information and Evaluation.
    SOCREAL 2010: 2nd International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2010-03-27/28. Keynote Lecture 1. Joining Information and Evaluation: a dynamic logical perspective.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  28.  25
    Johan van Benthem, Inference, Promotion, and the Dynamics of Awareness.
    Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents, based on semantic information. The latter is produced by acts of observation or communication, that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference – and key axioms of the system merely postulate “deductive closure”. In this paper, we take the view that all information is produced by acts, and (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  29.  85
    Johan van Benthem (2006). Epistemic Logic and Epistemology: The State of Their Affairs. Philosophical Studies 128 (1):49 - 76.
    Epistemology and epistemic logic At first sight, the modern agenda of epistemology has little to do with logic. Topics include different definitions of knowledge, its basic formal properties, debates between externalist and internalist positions, and above all: perennial encounters with sceptics lurking behind every street corner, especially in the US. The entry 'Epistemology' in the Routledge Encyclopedia of Philosophy (Klein 1993) and the anthology (Kim and Sosa 2000) give an up-to-date impression of the field. Now, epistemic (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  30.  13
    Johan van Benthem, David Fernández-Duque & Eric Pacuit (2014). Evidence and Plausibility in Neighborhood Structures. Annals of Pure and Applied Logic 165 (1):106-133.
    The intuitive notion of evidence has both semantic and syntactic features. In this paper, we develop an evidence logic for epistemic agents faced with possibly contradictory evidence from different sources. The logic is based on a neighborhood semantics, where a neighborhood N indicates that the agent has reason to believe that the true state of the world lies in N. Further notions of relative plausibility between worlds and beliefs based on the latter ordering are then defined in terms of this (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  31.  9
    J. van Benthem (2004). What One May Come to Know. Analysis 64 (2):95-105.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  32.  25
    Hajnal Andréka, István Németi & Johan van Benthem (1998). Modal Languages and Bounded Fragments of Predicate Logic. Journal of Philosophical Logic 27 (3):217-274.
    What precisely are fragments of classical first-order logic showing “modal” behaviour? Perhaps the most influential answer is that of Gabbay 1981, which identifies them with so-called “finite-variable fragments”, using only some fixed finite number of variables (free or bound). This view-point has been endorsed by many authors (cf. van Benthem 1991). We will investigate these fragments, and find that, illuminating and interesting though they are, they lack the required nice behaviour in our sense. (Several new negative results support this claim.) (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   16 citations  
  33.  8
    Johan van Benthem & Fernando R. Velázquez-Quesada (2010). The Dynamics of Awareness. Synthese 177 (1):5-27.
    Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference—and key axioms of the system merely postulate “deductive closure”. In this paper, we take the view that all information is produced by acts, and hence we (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  34.  13
    Johan Van Benthem (2006). Modal Frame Correspondences and Fixed-Points. Studia Logica 83 (1-3):133-155.
    Taking Löb's Axiom in modal provability logic as a running thread, we discuss some general methods for extending modal frame correspondences, mainly by adding fixed-point operators to modal languages as well as their correspondence languages. Our suggestions are backed up by some new results – while we also refer to relevant work by earlier authors. But our main aim is advertizing the perspective, showing how modal languages with fixed-point operators are a natural medium to work with.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  35. Johan Van Benthem (1991). Language in Action. Journal of Philosophical Logic 20 (3):225-263.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   21 citations  
  36. Johan van Benthem (2010). Modal Logic for Open Minds. Center for the Study of Language and Information.
    In _Modal Logic for Open Minds,_ Johan van Benthem provides an up-to-date introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, and also covers more advanced topics, such as expressive power and computational complexity. The book then moves to a wide range of applications, including new developments in information flow, intelligent agency, (...)
     
    Export citation  
     
    My bibliography   3 citations  
  37.  19
    Johan van Benthem, Modal Logic. Internet Encyclopedia of Philosophy.
    Modal Logic Modal notions go beyond the merely true or false by embedding what we say or think in a larger conceptual space referring to what might be or might have been, should be or should have been, or can still come to be. Modal expressions occur in a remarkably wide … Continue reading Modal Logic →.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  97
    Johan van Benthem, Open Problems in Logic and Games.
    Dov Gabbay is a prolific logician just by himself. But beyond that, he is quite good at making other people investigate the many further things he cares about. As a result, King's College London has become a powerful attractor in our field worldwide. Thus, it is a great pleasure to be an organizer for one of its flagship events: the Augustus de Morgan Workshop of 2005. Benedikt Loewe and I proposed the topic of 'interactive logic' for this occasion, with an (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  39. Johan van Benthem & Fenrong Liu (2004). Diversity of Logical Agents in Games. Philosophia Scientiae 8 (2):163-178.
    Epistemic agents may have different powers of observation and reasoning, and we show how this diversity fits into dynamic update logics.RésuméLes agents épistémiques peuvent avoir différents pouvoirs d’observation et de raisonnement, et nous montrons comment cette diversité prend place en logique dynamique de mise à jour.
    No categories
     
    Export citation  
     
    My bibliography   8 citations  
  40.  24
    Johan van Benthem, Helen Hodges & Wilfrid Hodges (2007). Introduction. Topoi 26 (1):1-2.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  41.  12
    Johan van Benthem (2008). Logical Dynamics Meets Logical Pluralism? Australasian Journal of Logic 6:182-209.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  42.  6
    Johan van Benthem (2005). Minimal Predicates, Fixed-Points, and Definability. Journal of Symbolic Logic 70 (3):696-712.
    Minimal predicates P satisfying a given first-order description φ(P) occur widely in mathematical logic and computer science. We give an explicit first-order syntax for special first-order ‘PIA conditions’ φ(P) which guarantees unique existence of such minimal predicates. Our main technical result is a preservation theorem showing PIA-conditions to be expressively complete for all those first-order formulas that are preserved under a natural model-theoretic operation of ‘predicate intersection’. Next, we show how iterated predicate minimization on PIA-conditions yields a language MIN(FO) equal (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  43.  35
    Johan van Benthem (2003). Conditional Probability Meets Update Logic. Journal of Logic, Language and Information 12 (4):409-421.
    Dynamic update of information states is a new paradigm in logicalsemantics. But such updates are also a traditional hallmark ofprobabilistic reasoning. This note brings the two perspectives togetherin an update mechanism for probabilities which modifies state spaces.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  44.  27
    Johan van Benthem & Eric Pacuit, Toward a Theory of Play: A Logical Perspective on Games and Interaction.
    The combination of logic and game theory provides a fine-grained perspective on information and interaction dynamics, a Theory of Play. In this paper we lay down the main components of such a theory, drawing on recent advances in the logical dynamics of actions, preferences, and information. We then show how this fine-grained perspective has already shed new light on the long-term dynamics of information exchange, as well as on the much-discussed question of extensive game rationality.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  45.  9
    Johan van Benthem & Barteld Kooi, Reduction Axioms for Epistemic Actions.
    Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added. In this paper we propose new versions that extend the underlying static epistemic language in such a way that dynamic completeness proofs can be obtained by perspicuous reduction axioms.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  46.  20
    Johan van Benthem, For Better or for Worse: Dynamic Logics of Preference.
    In the last few years, preference logic and in particular, the dynamic logic of preference change, has suddenly become a live topic in my Amsterdam and Stanford environments. At the request of the editors, this article explains how this interest came about, and what is happening. I mainly present a story around some recent dissertations and supporting papers, which are found in the references. There is no pretense at complete coverage of preference logic (for that, see Hanson 2001) or even (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  47. J. van Benthem (forthcoming). Dynamic Logics of Belief Change', ILLC Amsterdam, to Appear in The. Journal of Applied Non-Classical Logics.
     
    Export citation  
     
    My bibliography   1 citation  
  48.  19
    Johan van Benthem, Guram Bezhanishvili & Mai Gehrke (2003). Euclidean Hierarchy in Modal Logic. Studia Logica 75 (3):327-344.
    For a Euclidean space , let L n denote the modal logic of chequered subsets of . For every n 1, we characterize L n using the more familiar Kripke semantics, thus implying that each L n is a tabular logic over the well-known modal system Grz of Grzegorczyk. We show that the logics L n form a decreasing chain converging to the logic L of chequered subsets of . As a result, we obtain that L is also a logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  49. Johan van Benthem, Decisions, Actions, and Games, a Logical Perspective.
    Over the past decades, logicians interested in rational agency and intelligent interaction studied major components of these phenomena, such as knowledge, belief, and preference. In recent years, standard ‘static’ logics describing information states of agents have been generalized to dynamic logics describing actions and events that produce information, revise beliefs, or change preferences, as explicit parts of the logical system. Van Ditmarsch, van der Hoek & Kooi 2007, Baltag, van Ditmarsch & Moss 2008, van Benthem, to appear A, are up-to-date (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  50.  18
    Johan van Benthem (2008). The Many Faces of Interpolation. Synthese 164 (3):451-460.
    We present a number of, somewhat unusual, ways of describing what Craig’s interpolation theorem achieves, and use them to identify some open problems and further directions.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
1 — 50 / 199