Order:
Disambiguations
Johan Van Benthem [19]Johan Benthem [18]J. F. A. K. Benthem [7]van Jfak Benthem [4]
J. F. A. K. Van Benthem [4]J. Van Benthem [3]J. Benthem [2]J. V. Benthem [1]

Not all matches are shown. Search with initial or firstname to single out others.

  1.  37
    Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences.Johan Van Benthem, Patrick Girard & Olivier Roy - 2008 - Journal of Philosophical Logic 38 (1):83 - 125.
    This paper presents a new modal logic for ceteris paribus preferences understood in the sense of "all other things being equal". This reading goes back to the seminal work of Von Wright in the early 1960's and has returned in computer science in the 1990' s and in more abstract "dependency logics" today. We show how it differs from ceteris paribus as "all other things being normal", which is used in contexts with preference defeaters. We provide a semantic analysis and (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  2.  52
    Modal Languages and Bounded Fragments of Predicate Logic.Andréka Hajnal, Németi István & Benthem Johan van - 1998 - 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   15 citations  
  3.  72
    The Information in Intuitionistic Logic.Johan Benthem - 2009 - Synthese 167 (2):251-270.
    Issues about information spring up wherever one scratches the surface of logic. Here is a case that raises delicate issues of 'factual' versus 'procedural' information, or 'statics' versus 'dynamics'. What does intuitionistic logic, perhaps the earliest source of informational and procedural thinking in contemporary logic, really tell us about information? How does its view relate to its 'cousin' epistemic logic? We discuss connections between intuitionistic models and recent protocol models for dynamic-epistemic logic, as well as more general issues that emerge.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  4.  26
    Dynamic Logics of Evidence-Based Beliefs.J. Benthem & E. Pacuit - 2011 - Studia Logica 99 (1-3):61-92.
    This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of “evidence management”, ranging from update with external new information to internal rearrangement. We show how this perspective leads to new richer languages for existing neighborhood semantics for modal logic. Our main results are relative completeness theorems for the resulting dynamic logic of evidence.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  5.  77
    Dynamic Update with Probabilities.Benthem Johan van, Gerbrandy Jelle & Kooi Barteld - 2009 - 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 (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  34
    Polyadic Quantifiers.Johan Benthem - 1989 - Linguistics and Philosophy 12 (4):437 - 464.
  7. Interpolation, Preservation, and Pebble Games.Jon Barwise & Johan van Benthem - 1999 - Journal of Symbolic Logic 64 (2):881 - 903.
    Preservation and interpolation results are obtained for L ∞ω and sublogics $\mathscr{L} \subseteq L_{\infty\omega}$ such that equivalence in L can be characterized by suitable back-and-forth conditions on sets of partial isomorphisms.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  8.  41
    The Dynamics of Awareness.Benthem Johan van & R. Velázquez-Quesada Fernando - 2010 - Synthese 177 (S1):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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  8
    Minimal Predicates. Fixed-Points, and Definability.Johan Van Benthem - 2005 - 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 quarantees 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 (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  10. Possible Worlds Semantics: A Research Program That Cannot Fail?Johan Benthem - 1984 - Studia Logica 43 (4):379 - 393.
    Providing a possible worlds semantics for a logic involves choosing a class of possible worlds models, and setting up a truth definition connecting formulas of the logic with statements about these models. This scheme is so flexible that a danger arises: perhaps, any (reasonable) logic whatsoever can be modelled in this way. Thus, the enterprise would lose its essential tension. Fortunately, it may be shown that the so-called incompleteness-examples from modal logic resist possible worlds modelling, even in the above wider (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  11.  34
    Transitivity Follows From Dummett's Axiom.J. F. A. K. Van Benthem & W. J. Blok - 1978 - Theoria 44 (2):117-118.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  12.  62
    Logic and Intelligent Interaction.Ågotnes Thomas, Benthem Johan van & Pacuit Eric - 2009 - Synthese 169 (2):219 - 221.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  13.  11
    Sahlqvist Correspondence for Modal Mu-Calculus.Johan Benthem, Nick Bezhanishvili & Ian Hodkinson - 2012 - Studia Logica 100 (1-2):31-60.
    We define analogues of modal Sahlqvist formulas for the modal mu-calculus, and prove a correspondence theorem for them.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  69
    Priority Structures in Deontic Logic.Johan Benthem, Davide Grossi & Fenrong Liu - 2014 - Theoria 80 (2):116-152.
    This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well-known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two-level approach to obligations is tested first against standard scenarios of contrary-to-duty obligations, leading also to a generalization for the Kanger-Anderson reduction of deontic logic. Next, the priority framework is applied to model (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  15.  37
    The Logical Study of Science.Johan Benthem - 1982 - Synthese 51 (3):431 - 472.
    The relation between logic and philosophy of science, often taken for granted, is in fact problematic. Although current fashionable criticisms of the usefulness of logic are usually mistaken, there are indeed difficulties which should be taken seriously — having to do, amongst other things, with different scientific mentalities in the two disciplines (section 1). Nevertheless, logic is, or should be, a vital part of the theory of science. To make this clear, the bulk of this paper is devoted to the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  16.  36
    The Variety of Consequence, According to Bolzano.Johan Benthem - 1985 - Studia Logica 44 (4):389 - 403.
    Contemporary historians of logic tend to credit Bernard Bolzano with the invention of the semantic notion, of consequence, a full century before Tarski. Nevertheless, Bolzano's work played no significant rôle in the genesis of modern logical semantics. The purpose of this paper is to point out three highly original, and still quite relevant themes in Bolzano's work, being a systematic study of possible types of inference, of consistency, as well as their meta-theory. There are certain analogies with Tarski's concerns here, (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  17.  25
    Critical Notice.J. F. A. K. Benthem - 1979 - Synthese 40 (2):353-373.
    Gabbay has gathered an enormous amount of results; some of them important and novel, others important but already known, many rather routine, however. The organization of this material shows grave defects, both in the exposition and in its logical structure. Intensional logic appears as a vast collection of (often duplicated) loosely connected results. This may be a true reflection of the present state of the subject, but it does not contribute to a better understanding of it, let alone advance it.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  18.  20
    Some Kinds of Modal Completeness.J. F. A. K. Benthem - 1980 - Studia Logica 39 (2-3):125 - 141.
    In the modal literature various notions of completeness have been studied for normal modal logics. Four of these are defined here, viz. (plain) completeness, first-order completeness, canonicity and possession of the finite model property — and their connections are studied. Up to one important exception, all possible inclusion relations are either proved or disproved. Hopefully, this helps to establish some order in the jungle of concepts concerning modal logics. In the course of the exposition, the interesting properties of first-order definability (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  19.  43
    Analytic/Synthetic: Sharpening a Philosophical Tool.Benthem Johan Van - 1984 - Theoria 50 (2-3):106-137.
  20.  14
    Language in Action.Johan Benthem - 1991 - Journal of Philosophical Logic 20 (3):225 - 263.
    A number of general points behind the story of this paper may be worth setting out separately, now that we have come to the end.There is perhaps one obvious omission to be addressed right away. Although the word “information” has occurred throughout this paper, it must have struck the reader that we have had nothing to say on what information is. In this respect, our theories may be like those in physics: which do not explain what “energy” is (a notion (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  21.  32
    Modelling Simultaneous Games in Dynamic Logic.Johan Van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247 - 268.
    We make a proposal for formalizing simultaneous games at the abstraction level of player's powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of 'concurrent game logic' CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22.  16
    Categorial Grammar and Type Theory.Johan Benthem - 1990 - Journal of Philosophical Logic 19 (2):115 - 168.
  23.  16
    Ramsey Eliminability.J. F. A. K. Benthem - 1978 - Studia Logica 37 (4):321 - 336.
  24. Partiality and Non-Monmotonicity in Classical Logic.van Jfak Benthem - 1986 - Logique Et Analyse 29:251-273.
     
    Export citation  
     
    My bibliography   1 citation  
  25.  24
    Two Simple Incomplete Modal Logics.J. F. A. K. Benthem - 1978 - Theoria 44 (1):25-37.
  26.  1
    Information Transfer Across Chu Spaces.J. Benthem - 2000 - Logic Journal of the IGPL 8 (6):719-731.
    Chu spaces are a new model for information structure and mathematical structure in general. Their properties are usually developed as a form of category theory. In this note, we show how they may also be viewed as models for a two-sorted first-order language, and we determine the exact flow of information across the natural Chu transforms. Our analysis is akin to that of process graphs via bisimulation and modal formulas.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  27.  20
    Foundations of Conditional Logic.Johan Benthem - 1984 - Journal of Philosophical Logic 13 (3):303 - 349.
  28.  28
    The Logic of Empirical Theories Revisited.Johan Benthem - 2012 - 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.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29.  43
    Meaning: Interpretation and Inference.Johan Benthem - 1987 - Synthese 73 (3):451 - 470.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  30.  29
    Logic in a Social Setting.Benthem Johan Van - 2011 - Episteme 8 (3):227-247.
    Taking Backward Induction as its running example, this paper explores avenues for a logic of information-driven social action. We use recent results on limit phenomena in knowledge updating and belief revision, procedural rationality, and a ‘Theory of Play’ analyzing how games are played by different agents.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  31.  18
    What is Dialectical Logic?J. F. A. K. Benthem - 1979 - Erkenntnis 14 (3):333 - 347.
  32.  29
    Syntactic Aspects of Modal Incompleteness Theorems.Benthem J. F. A. K. Van - 1979 - Theoria 45 (2):63-77.
  33.  24
    Toward a Dynamic Logic of Questions.Johan Benthem & Ştefan Minică - 2012 - 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 multiagent scenarios and long-term temporal protocols. We sketch a comparison with some alternative accounts.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  34.  34
    Hintikka on Analyticity.J. F. A. K. Benthem - 1974 - Journal of Philosophical Logic 3 (4):419 - 431.
  35.  19
    New Logical Perspectives on Physics.Johan Benthem & Sonja Smets - 2012 - Synthese 186 (3):615 - 617.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  36.  28
    Situations and Inference.Johan Benthem - 1985 - Linguistics and Philosophy 8 (1):3 - 8.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  37.  17
    Four Paradoxes.J. F. A. K. Benthem - 1978 - Journal of Philosophical Logic 7 (1):49 - 72.
  38.  12
    Modelling the Kinematics of Meaning.Benthem Johan Van - 1992 - Proceedings of the Aristotelian Society 93:105 - 122.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39. Kunstmatige Intelligentie: Een voortzetting van de filosofie met andere middelen.van Jfak Benthem - 1990 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 82:83-100.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  40.  4
    Review: G. E. Hughes, M. J. Cresswell, A Companion to Modal Logic. [REVIEW]Johan Van Benthem - 1986 - Journal of Symbolic Logic 51 (3):824-826.
  41.  7
    Multimodal Logics of Products of Topologies.J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369 - 392.
    We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion ${\bf S4}\oplus {\bf S4}$ . We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies. We prove that both of these logics are complete for the product of rational numbers ${\Bbb Q}\times {\Bbb Q}$ (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  42.  1
    Forthcoming Papers.Y. Shramko, J. Barwise, D. Gabbay & J. Van Benthem - 1993 - Logic Journal of the IGPL 1 (1):119-119.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  1
    Diversity of Logical Agents in Games.Johan van Benthem & Fenrong Liu - 2004 - Philosophia Scientae 8:163-178.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  2
    Logic of Transition Systems.Johan Benthem & Jan Bergstra - 1994 - Journal of Logic, Language and Information 3 (4):247-283.
    Labeled transition systems are key structures for modeling computation. In this paper, we show how they lend themselves to ordinary logical analysis (without any special new formalisms), by introducing their standard first-order theory. This perspective enables us to raise several basic model-theoretic questions of definability, axiomatization and preservation for various notions of process equivalence found in the computational literature, and answer them using well-known logical techniques (including the Compactness theorem, Saturation and Ehrenfeucht games). Moreover, we consider what happens to this (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  45.  2
    The European Association for Logic, Language, and Computation.J. F. A. K. Van Benthem & H. J. B. M. Van Der Linden - 1994 - Journal of Symbolic Logic 59 (3):1116 -.
  46.  2
    Diversity of Logical Agents in Games.Benthem Johan van & Liu Fenrong - 2004 - 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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  4
    Modal Deduction in Second-Order Logic and Set Theory: II.Benthem Johan Van, D'Agostino Giovanna, Montanari Angelo & Policriti Alberto - 1998 - Studia Logica 60 (3):387 - 420.
    In this paper, we generalize the set-theoretic translation method for polymodal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  1
    A Mini-Guide to Logic in Action.Johan van Benthem - 2006 - In Michael Stöltzner & Friedrich Stadler (eds.), Time and History: Proceedings of the 28. International Ludwig Wittgenstein Symposium, Kirchberg Am Wechsel, Austria 2005. De Gruyter. pp. 419-440.
    Direct download  
     
    Export citation  
     
    My bibliography  
  49. Editorial Information Sciences.van Jfak Benthem - 1991 - Journal of Logic, Language and Information 1 (3):1-4.
  50. Enkele Opmerkingen over Zelfreferentie en Zelfweerlegging.van Jfak Benthem - 1976 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 68:250-270.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
1 — 50 / 56