Results for 'Benthem Johan'

1000+ found
Order:
  1.  49
    Logical Dynamics of Information and Interaction.Johan van Benthem - 2011 - New York: Cambridge University Press.
    This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book (...)
    Direct download  
     
    Export citation  
     
    Bookmark   116 citations  
  2. Logic in Philosophy.Johan van Benthem - 2007 - In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: pp. 65-99.
    1 Logic in philosophy The century that was Logic has played an important role in modern philosophy, especially, in alliances with philosophical schools such as the Vienna Circle, neopositivism, or formal language variants of analytical philosophy. The original impact was via the work of Frege, Russell, and other pioneers, backed up by the prestige of research into the foundations of mathematics, which was fast bringing to light those amazing insights that still impress us to-day. The Golden Age of the 1930s (...)
     
    Export citation  
     
    Bookmark   9 citations  
  3. The logic of time: a model-theoretic investigation into the varieties of temporal ontology and temporal discourse.Johan van Benthem - 1991 - Boston: Kluwer Academic Publishers.
    The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the first publication, (...)
  4. Modal Logic.Johan van Benthem - 2015 - 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 →.
     
    Export citation  
     
    Bookmark   3 citations  
  5.  65
    Logical constants across varying types.Johan van Benthem - 1989 - Notre Dame Journal of Formal Logic 30 (3):315-342.
  6.  26
    Generalized Quantifiers in Natural Language.Johan Van Benthem & Alice Ter Meulen (eds.) - 1984 - Foris Publications.
    REFERENCES Barwise, J. & R. Cooper (1981) — 'Generalized Quantifiers and Natural Language', Linguistics and Philosophy 4:2159-219. Van Benthem, J. (1983a) — ' Five Easy Pieces', in Ter Meulen (ed.), 1-17. Van Benthem, J. (1983b) ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  7.  45
    A bimodal perspective on possibility semantics.Johan van Benthem, Nick Bezhanishvili & Wesley H. Holliday - 2017 - Journal of Logic and Computation 27 (5):1353–1389.
    In this article, we develop a bimodal perspective on possibility semantics, a framework allowing partiality of states that provides an alternative modelling for classical propositional and modal logics. In particular, we define a full and faithful translation of the basic modal logic K over possibility models into a bimodal logic of partial functions over partial orders, and we show how to modulate this analysis by varying across logics and model classes that have independent topological motivations. This relates the two realms (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  8.  13
    Merging Frameworks for Interaction.Johan Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - 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 (2 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  9. Dynamic Update with Probabilities.Johan van Benthem, Jelle Gerbrandy & Barteld Kooi - 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 (11 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  10.  40
    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 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 (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  11.  49
    Polyadic quantifiers.Johan Benthem - 1989 - Linguistics and Philosophy 12 (4):437 - 464.
  12.  19
    Dynamic Update with Probabilities.Johan Benthem, Jelle Gerbrandy & Barteld Kooi - 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 (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  13.  10
    A Companion to Modal Logic.Johan van Benthem - 1986 - Journal of Symbolic Logic 51 (3):824-826.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  14.  14
    The dynamics of awareness.Johan Benthem & Fernando Velázquez-Quesada - 2010 - Synthese 177 (Suppl 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 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  15.  35
    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 (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  16.  95
    Determiners and logic.Johan van Benthem - 1983 - Linguistics and Philosophy 6 (4):447-478.
  17.  16
    Epistemic Logic and Epistemology: The State of their Affairs.Johan Benthem - 2006 - Philosophical Studies 128 (1):49-76.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  18.  17
    Notes on modal definability.Johan van Benthem - 1988 - Notre Dame Journal of Formal Logic 30 (1):20-35.
  19.  99
    Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences.Johan Van Benthem, Patrick Girard & Olivier Roy - 2009 - 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  
     
    Bookmark   32 citations  
  20. Handbook of Modal Logic.Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.) - 2006 - 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  
     
    Bookmark   41 citations  
  21.  39
    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 (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Priority Structures in Deontic Logic.Johan Benthem, Davide Grossi & Fenrong Liu - 2013 - 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 (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  23.  16
    Tense logic and time.Johan van Benthem - 1984 - Notre Dame Journal of Formal Logic 25 (1):1-16.
  24.  19
    Diversity of Logical Agents in Games.Johan van Benthem & Liu - 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 (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  25.  15
    Diversity of Logical Agents in Games.Johan van Benthem & Fenrong Liu - 2004 - Philosophia Scientiae 8:163-178.
    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 (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  26.  35
    Implicit and Explicit Stances in Logic.Johan Benthem - 2019 - Journal of Philosophical Logic 48 (3):571-601.
    We identify a pervasive contrast between implicit and explicit stances in logical analysis and system design. Implicit systems change received meanings of logical constants and sometimes also the notion of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We illustrate the contrast for intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, and other areas, to show its wide scope. This gives a working understanding of the contrast, though we stop short of a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  39
    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 (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  71
    Modal Frame Correspondences and Fixed-Points.Johan Van Benthem - 2006 - 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  
     
    Bookmark   15 citations  
  29.  86
    A Simple Logic of Functional Dependence.Alexandru Baltag & Johan van Benthem - 2021 - Journal of Philosophical Logic 50 (5):939-1005.
    This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic. The expressive strength, complete proof calculus and meta-properties of LFD are explored. Various language extensions are presented as well, up to undecidable modal-style logics for independence and dynamic logics of changing dependence models. Finally, more concrete settings for dependence are discussed: continuous (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  49
    Foundations of conditional logic.Johan Benthem - 1984 - Journal of Philosophical Logic 13 (3):303 - 349.
  31.  43
    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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  46
    New logical perspectives on physics.Johan Benthem & Sonja Smets - 2012 - Synthese 186 (3):615 - 617.
  33. Resetting the Bounds of Logic.Johan van Benthem - 1999 - European Review of Philosophy 12 (4).
     
    Export citation  
     
    Bookmark  
  34. Talking About Knowledge.Johan Benthem - 2017 - In Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.), Rohit Parikh on Logic, Language and Society. Cham, Switzerland: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  35.  35
    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 (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  36. The information in intuitionistic logic.Johan Benthem - 2008 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  37.  31
    A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.
    We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-structure in spatial patterns which suggests analogies across these mathematical theories in terms of modal, temporal, and conditional logics. Throughout the modal walk through space, expressive power is analyzed in terms of language design, bisimulations, and correspondence phenomena. The result is both unification across the areas visited, and the uncovering of interesting new questions.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  38.  67
    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 (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  39. What one may come to know.van Benthem Johan - 2004 - 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 (6 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  40. The Stories of Logic and Information.Johan van Benthem, Maricarmen Martinez, David Israel & John Perry - unknown
    Information is a notion of wide use and great intuitive appeal, and hence, not surprisingly, different formal paradigms claim part of it, from Shannon channel theory to Kolmogorov complexity. Information is also a widely used term in logic, but a similar diversity repeats itself: there are several competing logical accounts of this notion, ranging from semantic to syntactic. In this chapter, we will discuss three major logical accounts of information.
     
    Export citation  
     
    Bookmark   17 citations  
  41. 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 (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  17
    The Range of Modal Logic: An essay in memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):407-442.
    ABSTRACT George Gargov was an active pioneer in the ‘Sofia School’ of modal logicians. Starting in the 1970s, he and his colleagues expanded the scope of the subject by introducing new modal expressive power, of various innovative kinds. The aim of this paper is to show some general patterns behind such extensions, and review some very general results that we know by now, 20 years later. We concentrate on simulation invariance, decidability, and correspondence. What seems clear is that ‘modal logic’ (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  74
    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 (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  44.  36
    Back and Forth Between Modal Logic and Classical Logic.Hajnal Andreka, Johan van Benthem & Istvan Nemeti - 1995 - Logic Journal of the IGPL 3 (5):685-720.
  45. The logic of empirical theories revisited.Johan van 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.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  46.  84
    The Geometry of Knowledge.Johan van Benthem & Darko Sarenac - unknown
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  47.  39
    Tense logic and standard logic.Johan Fak van Benthem - 1977 - Logique Et Analyse 20 (80):41-83.
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  48.  24
    The Logical Study of Science.Johan van 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. 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 key notion (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  49.  23
    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  
     
    Bookmark   6 citations  
  50.  26
    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 (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
1 — 50 / 1000