J. F. A. K. van Benthem

From MaRDI portal
Person:1246519

Available identifiers

zbMath Open van-benthem.johanWikidataQ1692111 ScholiaQ1692111MaRDI QIDQ1246519

List of research outcomes

PublicationDate of PublicationType
INTERLEAVING LOGIC AND COUNTING2024-02-23Paper
The logic of conditionals on outback trails2024-02-20Paper
Modal structures in groups and vector spaces2024-02-08Paper
https://portal.mardi4nfdi.de/entity/Q58849422023-03-24Paper
A note on the submodel preservation property in fragments of first-order logic2023-03-23Paper
Local Dependence and Guarding2022-06-13Paper
THE MODAL LOGIC OF STEPWISE REMOVAL2022-03-18Paper
Semantic Perspectives in Logic2022-02-25Paper
https://portal.mardi4nfdi.de/entity/Q50167992021-12-14Paper
Generalized Quantifiers Meet Modal Neighborhood Semantics2021-12-10Paper
New Logical Perspectives on Monotonicity2021-12-08Paper
A simple logic of functional dependence2021-11-04Paper
A Simple Logic of Functional Dependence2021-03-27Paper
The Modal Logic of Stepwise Removal2021-03-08Paper
https://portal.mardi4nfdi.de/entity/Q51417732020-12-18Paper
https://portal.mardi4nfdi.de/entity/Q51327692020-11-12Paper
Deontic Logic and Changing Preferences2020-08-10Paper
Tracking Information2020-08-07Paper
Talking About Knowledge2020-07-27Paper
A propositional dynamic logic for instantial neighborhood semantics2019-09-03Paper
A new game equivalence, its logic and algebra2019-09-03Paper
https://portal.mardi4nfdi.de/entity/Q52246812019-07-24Paper
Implicit and explicit stances in logic2019-06-28Paper
https://portal.mardi4nfdi.de/entity/Q46308002019-04-23Paper
https://portal.mardi4nfdi.de/entity/Q46198722019-02-07Paper
Modal logics of sabotage revisited2019-01-31Paper
Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*2019-01-31Paper
https://portal.mardi4nfdi.de/entity/Q46893082018-10-15Paper
Computation as social agency: what, how and who2018-06-14Paper
A bimodal perspective on possibility semantics2018-02-13Paper
Constructive agents2018-01-12Paper
https://portal.mardi4nfdi.de/entity/Q45995112018-01-03Paper
A propositional dynamic logic for instantial neighborhood models2017-11-22Paper
On a new semantics for first-order predicate logic2017-07-19Paper
INSTANTIAL NEIGHBOURHOOD LOGIC2017-05-31Paper
https://portal.mardi4nfdi.de/entity/Q28185432016-09-07Paper
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects2015-12-17Paper
Symbolic Model Checking for Dynamic Epistemic Logic2015-12-17Paper
Changing a Semantics: Opportunism or Courage?2015-11-27Paper
Toward a theory of play: a logical perspective on games and interaction2015-05-19Paper
Logic Games: From Tools to Models of Interaction2015-04-17Paper
Two Logical Faces of Belief Revision2015-04-10Paper
Natural language and logic of agency2015-02-09Paper
Modeling reasoning in a social setting2014-06-19Paper
https://portal.mardi4nfdi.de/entity/Q54198732014-06-11Paper
https://portal.mardi4nfdi.de/entity/Q54198742014-06-11Paper
https://portal.mardi4nfdi.de/entity/Q54178092014-05-22Paper
https://portal.mardi4nfdi.de/entity/Q54161552014-05-19Paper
https://portal.mardi4nfdi.de/entity/Q54044832014-03-24Paper
Evidence and plausibility in neighborhood structures2014-01-13Paper
The logic of empirical theories revisited2013-11-25Paper
https://portal.mardi4nfdi.de/entity/Q28537182013-10-16Paper
Reasoning about Strategies2013-05-28Paper
Toward a dynamic logic of questions2012-12-04Paper
Sahlqvist correspondence for modal mu-calculus2012-10-01Paper
Belief Update as Social Choice2012-08-23Paper
Question–answer games2012-07-17Paper
Games in Dynamic-Epistemic Logic2012-02-07Paper
Logical Dynamics of Information and Interaction2012-02-02Paper
Dynamic logics of evidence-based beliefs2011-11-23Paper
Logical Dynamics of Evidence2011-10-19Paper
https://portal.mardi4nfdi.de/entity/Q30072472011-06-21Paper
https://portal.mardi4nfdi.de/entity/Q30072882011-06-21Paper
McCarthy variations in a modal key2011-06-17Paper
Introduction to the special issue: Logic and philosophy of science in the footsteps of E. W. Beth2011-06-08Paper
https://portal.mardi4nfdi.de/entity/Q30011112011-05-31Paper
https://portal.mardi4nfdi.de/entity/Q30038252011-05-31Paper
https://portal.mardi4nfdi.de/entity/Q30000982011-05-18Paper
The dynamics of awareness2011-02-25Paper
Preface to the special issue: Temporal logics of agency2011-01-07Paper
Game Solution, Epistemic Dynamics and Fixed-Point Logics2011-01-03Paper
Deontics = Betterness + Priority2010-09-29Paper
Logic between Expressivity and Complexity2010-09-14Paper
Bridges between Dynamic Doxastic and Doxastic Temporal Logics2010-08-31Paper
Toward a Dynamic Logic of Questions2010-01-07Paper
Dynamic logic for belief revision2009-11-30Paper
Dynamic logic of preference upgrade2009-11-30Paper
A ModalWalk Through Space2009-11-30Paper
Merging frameworks for interaction2009-11-16Paper
Modal logic and invariance2009-11-11Paper
Dynamic update with probabilities2009-11-04Paper
Editorial: Logic and intelligent interaction2009-11-04Paper
Lindstrom theorems for fragments of first-order logic2009-08-20Paper
The information in intuitionistic logic2009-08-11Paper
Everything else being equal: a modal logic for ceteris paribus preferences2009-07-13Paper
The many faces of interpolation2009-06-16Paper
Modelling simultaneous games in dynamic logic2009-06-16Paper
https://portal.mardi4nfdi.de/entity/Q36292472009-05-27Paper
Decisions, Actions, and Games: A Logical Perspective2009-02-12Paper
Logic and reasoning: do the facts matter?2008-07-30Paper
https://portal.mardi4nfdi.de/entity/Q35104372008-07-02Paper
https://portal.mardi4nfdi.de/entity/Q35090472008-07-01Paper
ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES"2008-05-20Paper
https://portal.mardi4nfdi.de/entity/Q53849672008-04-29Paper
Modal Fixed-Point Logic and Changing Models2008-03-25Paper
https://portal.mardi4nfdi.de/entity/Q57551782007-08-20Paper
RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES2007-07-24Paper
A new modal Lindström theorem2007-04-10Paper
Multimodal logics of products of topologies2007-01-29Paper
Logics of communication and change2007-01-22Paper
Modal frame correspondences and fixed-points2006-10-27Paper
https://portal.mardi4nfdi.de/entity/Q54942302006-10-17Paper
https://portal.mardi4nfdi.de/entity/Q33672842006-01-24Paper
https://portal.mardi4nfdi.de/entity/Q33672952006-01-24Paper
Minimal predicates, fixed-points, and definability2006-01-16Paper
Mechanizing Mathematical Reasoning2006-01-10Paper
Guards, bounds, and generalized semantics2005-10-04Paper
What one may come to know2005-03-30Paper
https://portal.mardi4nfdi.de/entity/Q48171922004-09-22Paper
Reasoning About Space: The Modal Way2004-09-07Paper
https://portal.mardi4nfdi.de/entity/Q44639282004-06-08Paper
Logic games are complete for game logics2004-03-15Paper
https://portal.mardi4nfdi.de/entity/Q44536342004-03-07Paper
Euclidean hierarchy in modal logic2004-01-14Paper
https://portal.mardi4nfdi.de/entity/Q44405342004-01-04Paper
Conditional probability meets update logic2003-09-01Paper
https://portal.mardi4nfdi.de/entity/Q47930422003-02-18Paper
https://portal.mardi4nfdi.de/entity/Q47894522003-01-29Paper
https://portal.mardi4nfdi.de/entity/Q47894602003-01-29Paper
https://portal.mardi4nfdi.de/entity/Q45363122002-11-25Paper
Extensive games as process models2002-08-20Paper
https://portal.mardi4nfdi.de/entity/Q43292342002-07-23Paper
The Range of Modal Logic2002-07-01Paper
https://portal.mardi4nfdi.de/entity/Q27760632002-03-13Paper
https://portal.mardi4nfdi.de/entity/Q27415322001-09-24Paper
https://portal.mardi4nfdi.de/entity/Q27022312001-07-26Paper
Information transfer across Chu spaces2001-06-21Paper
https://portal.mardi4nfdi.de/entity/Q45112882001-03-06Paper
Program constructions that are safe for bisimulation2000-11-21Paper
Modal deduction in second-order logic and set theory. II2000-11-21Paper
https://portal.mardi4nfdi.de/entity/Q49462202000-09-04Paper
https://portal.mardi4nfdi.de/entity/Q49407152000-02-28Paper
Temporal patterns and modal structure2000-02-23Paper
https://portal.mardi4nfdi.de/entity/Q49361452000-01-25Paper
Interpolation, preservation, and pebble games1999-11-23Paper
https://portal.mardi4nfdi.de/entity/Q42500371999-10-28Paper
Modality, bisimulation and interpolation in infinitary logic1999-06-24Paper
https://portal.mardi4nfdi.de/entity/Q42180191999-06-21Paper
https://portal.mardi4nfdi.de/entity/Q43955391999-02-22Paper
Modal languages and bounded fragments of predicate logic1998-11-18Paper
https://portal.mardi4nfdi.de/entity/Q43955641998-11-01Paper
https://portal.mardi4nfdi.de/entity/Q43949161998-09-20Paper
https://portal.mardi4nfdi.de/entity/Q43492871997-12-11Paper
https://portal.mardi4nfdi.de/entity/Q43420901997-07-08Paper
https://portal.mardi4nfdi.de/entity/Q43420961997-07-08Paper
Modal deduction in second-order logic and set theory - I1997-06-10Paper
Modal Foundations for Predicate Logic1997-06-02Paper
https://portal.mardi4nfdi.de/entity/Q31226921997-03-03Paper
https://portal.mardi4nfdi.de/entity/Q48606471996-07-01Paper
Directions in generalized quantifier theory1996-07-01Paper
https://portal.mardi4nfdi.de/entity/Q48656101996-03-07Paper
Logic of transition systems1995-09-26Paper
https://portal.mardi4nfdi.de/entity/Q46986041995-06-11Paper
https://portal.mardi4nfdi.de/entity/Q48337681995-05-23Paper
https://portal.mardi4nfdi.de/entity/Q43257921995-03-30Paper
Modal Logic, Transition Systems and Processes1994-12-07Paper
https://portal.mardi4nfdi.de/entity/Q42958691994-06-15Paper
https://portal.mardi4nfdi.de/entity/Q31420291993-12-09Paper
The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.1993-01-23Paper
https://portal.mardi4nfdi.de/entity/Q40154841993-01-13Paper
https://portal.mardi4nfdi.de/entity/Q39925511992-09-17Paper
Situations, language and logic1992-09-17Paper
Language in action. Categories, lambdas and dynamic logic1992-09-17Paper
GENERAL DYNAMICS1992-06-28Paper
Language in action1992-06-26Paper
Categorial grammar and type theory1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47333771989-01-01Paper
Polyadic quantifiers1989-01-01Paper
Logical constants across varying types1989-01-01Paper
Notes on modal definability1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34690911989-01-01Paper
A note on Jónsson's theorem1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34704581988-01-01Paper
LOGICAL SYNTAX1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33562971987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34899801987-01-01Paper
Tenses in Real Time1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37279601986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37622921986-01-01Paper
Essays in logical semantics1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37123181985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37810661985-01-01Paper
The variety of consequence, according to Bolzano1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36777451984-01-01Paper
Analytic/synthetic: Sharpening a philosophical tool1984-01-01Paper
Questions about quantifiers1984-01-01Paper
Tense logic and time1984-01-01Paper
Foundations of conditional logic1984-01-01Paper
Possible worlds semantics: a research program that cannot fail?1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36907961983-01-01Paper
Logical semantics as an empirical science1983-01-01Paper
Hallden-completeness by gluing of Kripke frames1983-01-01Paper
The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse1983-01-01Paper
Determiners and logic1983-01-01Paper
The logical study of science1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39149511981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39312541981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39373621981-01-01Paper
Some kinds of modal completeness1980-01-01Paper
Syntactic aspects of modal incompleteness theorems1979-01-01Paper
Canonical modal logics and ultrafilter extensions1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41949341979-01-01Paper
Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics1979-01-01Paper
Transitivity follows from Dummett's axiom1978-01-01Paper
Two simple incomplete modal logics1978-01-01Paper
Four paradoxes1978-01-01Paper
Ramsey eliminability1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41733461977-01-01Paper
Modal reduction principles1976-01-01Paper
Modal formulas are either elementary or not ΣΔ-elementary1976-01-01Paper
A note on modal formulae and relational properties1975-01-01Paper
A set-theoretical equivalent of the prime ideal theorem for Boolean algebras1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40655141974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47709581974-01-01Paper
Hintikka on analyticity1974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56687861973-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: J. F. A. K. van Benthem