![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Johan van Benthem
Person information
- affiliation: University of Amsterdam, Netherlands
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j103]Johan van Benthem, Nick Bezhanishvili
:
Modal structures in groups and vector spaces. J. Log. Comput. 34(1): 75-124 (2024) - [i7]Alexandru Baltag, Johan van Benthem:
Knowability as continuity: a topological account of informational dependence. CoRR abs/2401.06962 (2024) - 2023
- [j102]Johan van Benthem, Thomas Icard:
Interleaving Logic and Counting. Bull. Symb. Log. 29(4): 503-587 (2023) - [j101]Johan van Benthem:
The logic of conditionals on outback trails. Log. J. IGPL 31(6): 1135-1152 (2023) - [j100]Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin:
Hybrid sabotage modal logic. J. Log. Comput. 33(6): 1216-1242 (2023) - 2022
- [j99]Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando:
The Modal Logic of Stepwise removal. Rev. Symb. Log. 15(1): 36-63 (2022) - [c32]Balder ten Cate, Raoul Koudijs, Johan van Benthem:
Local Dependence and Guarding. AiML 2022: 135-154 - [i6]Alexandru Baltag, Johan van Benthem, Dazhu Li:
A Logical Analysis of Dynamic Dependence. CoRR abs/2204.07839 (2022) - [i5]Johan van Benthem, Balder ten Cate
, Raoul Koudijs:
Local Dependence and Guarding. CoRR abs/2206.06046 (2022) - 2021
- [j98]Alexandru Baltag, Johan van Benthem:
A Simple Logic of Functional Dependence. J. Philos. Log. 50(5): 939-1005 (2021) - [i4]Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando:
The Modal Logic of Stepwise Removal. CoRR abs/2103.05117 (2021) - [i3]Alexandru Baltag, Johan van Benthem:
A Simple Logic of Functional Dependence. CoRR abs/2103.14946 (2021) - 2020
- [c31]Johan van Benthem, Fenrong Liu:
New Logical Perspectives on Monotonicity. TLLM 2020: 1-12
2010 – 2019
- 2019
- [j97]Johan van Benthem
:
Implicit and Explicit Stances in Logic. J. Philos. Log. 48(3): 571-601 (2019) - [j96]Johan van Benthem, Nick Bezhanishvili
, Sebastian Enqvist:
A New Game Equivalence, its Logic and Algebra. J. Philos. Log. 48(4): 649-684 (2019) - [j95]Johan van Benthem, Nick Bezhanishvili
, Sebastian Enqvist:
A Propositional Dynamic Logic for Instantial Neighborhood Semantics. Stud Logica 107(4): 719-751 (2019) - 2018
- [j94]Johan van Benthem:
Computation as social agency: What, how and who. Inf. Comput. 261: 519-535 (2018) - [j93]Guillaume Aucher, Johan van Benthem, Davide Grossi
:
Modal logics of sabotage revisited. J. Log. Comput. 28(2): 269-303 (2018) - [j92]Johan van Benthem, Jan van Eijck, Malvin Gattinger
, Kaile Su
:
Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. J. Log. Comput. 28(2): 367-402 (2018) - 2017
- [j91]Johan van Benthem:
An Old Discipline with a New Twist: The Course "Logic in Action". FLAP 4(1) (2017) - [j90]Hajnal Andréka, Johan van Benthem, István Németi:
On A New Semantics for First-Order Predicate Logic. J. Philos. Log. 46(3): 259-267 (2017) - [j89]Johan van Benthem, Nick Bezhanishvili
, Wesley H. Holliday
:
A bimodal perspective on possibility semantics. J. Log. Comput. 27(5): 1353-1389 (2017) - [j88]Johan van Benthem, Nick Bezhanishvili
, Sebastian Enqvist, Junhua Yu
:
Instantial Neighbourhood Logic. Rev. Symb. Log. 10(1): 116-144 (2017) - [c30]Johan van Benthem:
Against All Odds: When Logic Meets Probability. ModelEd, TestEd, TrustEd 2017: 239-253 - [c29]Johan van Benthem, Nick Bezhanishvili
, Sebastian Enqvist:
A Propositional Dynamic Logic for Instantial Neighborhood Models. LORI 2017: 137-150 - [c28]Johan van Benthem, Nick Bezhanishvili
, Sebastian Enqvist:
A New Game Equivalence and its Modal Logic. TARK 2017: 57-74 - 2015
- [c27]Guillaume Aucher, Johan van Benthem, Davide Grossi
:
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects. LORI 2015: 1-13 - [c26]Johan van Benthem, Jan van Eijck, Malvin Gattinger
, Kaile Su
:
Symbolic Model Checking for Dynamic Epistemic Logic. LORI 2015: 366-378 - [p10]Johan van Benthem:
Logic of Strategies: What and How? Models of Strategic Reasoning 2015: 321-332 - [e6]Johan van Benthem, Sujata Ghosh, Rineke Verbrugge:
Models of Strategic Reasoning - Logics, Games, and Communities. Lecture Notes in Computer Science 8972, Springer 2015, ISBN 978-3-662-48539-2 [contents] - [i2]Johan van Benthem, Chanjuan Liu, Paolo Turrini:
Computing rational beliefs under limited foresight. CoRR abs/1502.03683 (2015) - 2014
- [j87]Johan van Benthem, David Fernández-Duque
, Eric Pacuit:
Evidence and plausibility in neighborhood structures. Ann. Pure Appl. Log. 165(1): 106-133 (2014) - [j86]Johan van Benthem, Fenrong Liu:
Deontic Logic and Preference Change. FLAP 1(2): 1-46 (2014) - [j85]Johan van Benthem:
Natural Language and Logic of Agency. J. Log. Lang. Inf. 23(3): 367-382 (2014) - [j84]Johan van Benthem:
Modeling Reasoning in a Social Setting. Stud Logica 102(2): 235-265 (2014) - 2013
- [c25]Johan van Benthem:
Reasoning about Strategies. Computation, Logic, Games, and Quantum Foundations 2013: 336-347 - [i1]Johan van Benthem, David Fernández-Duque, Eric Pacuit:
Evidence and plausibility in neighborhood structures. CoRR abs/1307.1277 (2013) - 2012
- [j83]Johan van Benthem:
The nets of reason. Argument Comput. 3(2-3): 83-86 (2012) - [j82]Johan van Benthem, Stefan Minica:
Toward a Dynamic Logic of Questions. J. Philos. Log. 41(4): 633-669 (2012) - [j81]Johan van Benthem, Nick Bezhanishvili
, Ian M. Hodkinson
:
Sahlqvist Correspondence for Modal mu-calculus. Stud Logica 100(1-2): 31-60 (2012) - [j80]Johan van Benthem, Sonja Smets
:
New logical perspectives on physics. Synth. 186(3): 615-617 (2012) - [j79]Johan van Benthem:
The logic of empirical theories revisited. Synth. 186(3): 775-792 (2012) - [c24]Johan van Benthem:
Foundational Issues in Logical Dynamics. Advances in Modal Logic 2012: 95-96 - [c23]Johan van Benthem, David Fernández-Duque, Eric Pacuit:
Evidence Logic: A New Look at Neighborhood Structures. Advances in Modal Logic 2012: 97-118 - [p9]Johan van Benthem:
In Praise of Strategies. Games, Actions and Social Software 2012: 96-116 - 2011
- [j78]Johan van Benthem:
McCarthy variations in a modal key. Artif. Intell. 175(1): 428-439 (2011) - [j77]Johan van Benthem, Eric Pacuit, Olivier Roy
:
Toward a Theory of Play: A Logical Perspective on Games and Interaction. Games 2(1): 52-86 (2011) - [j76]Johan van Benthem:
Obituaries: John McCarthy. J. Int. Comput. Games Assoc. 34(4): 254 (2011) - [j75]Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, Stefan Minica:
Question-answer games. J. Appl. Non Class. Logics 21(3-4): 265-288 (2011) - [j74]Johan van Benthem, Eric Pacuit:
Dynamic Logics of Evidence-Based Beliefs. Stud Logica 99(1-3): 61-92 (2011) - [j73]Johan van Benthem, Theo A. F. Kuipers, Henk Visser:
Introduction. Synth. 179(2): 203-206 (2011) - [c22]Johan van Benthem, Eric Pacuit:
Logical Dynamics of Evidence. LORI 2011: 1-27 - [c21]Johan van Benthem:
Exploring a theory of play. TARK 2011: 12-16 - [p8]Johan van Benthem:
Logic Games: From Tools to Models of Interaction. Proof, Computation and Agency 2011: 183-216 - [e5]Johan van Benthem, Amitabha Gupta, Rohit Parikh:
Proof, Computation and Agency - Logic at the Crossroads. Synthese library 352, Springer 2011, ISBN 978-94-007-0079-6 [contents] - 2010
- [j72]Johan van Benthem, Amélie Gheerbrant:
Game Solution, Epistemic Dynamics and Fixed-Point Logics. Fundam. Informaticae 100(1-4): 19-41 (2010) - [j71]Johan van Benthem, Eric Pacuit:
Temporal Logics of Agency. J. Log. Lang. Inf. 19(4): 389-393 (2010) - [j70]Johan van Benthem, Fernando R. Velázquez-Quesada
:
The dynamics of awareness. Synth. 177(Supplement-1): 5-27 (2010) - [c20]Johan van Benthem:
Logic between Expressivity and Complexity. IJCAR 2010: 122-126 - [c19]Johan van Benthem, Davide Grossi
, Fenrong Liu:
Deontics = Betterness + Priority. DEON 2010: 50-65
2000 – 2009
- 2009
- [j69]Johan van Benthem, Balder ten Cate, Jouko A. Väänänen:
Lindström theorems for fragments of first-order logic. Log. Methods Comput. Sci. 5(3) (2009) - [j68]Johan van Benthem, Patrick Girard
, Olivier Roy
:
Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences. J. Philos. Log. 38(1): 83-125 (2009) - [j67]Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit:
Merging Frameworks for Interaction. J. Philos. Log. 38(5): 491-526 (2009) - [j66]Johan van Benthem, Jelle Gerbrandy, Barteld P. Kooi:
Dynamic Update with Probabilities. Stud Logica 93(1): 67-96 (2009) - [j65]Johan van Benthem:
The information in intuitionistic logic. Synth. 167(2): 251-270 (2009) - [j64]Thomas Ågotnes, Johan van Benthem, Eric Pacuit:
Logic and intelligent interaction. Synth. 169(2): 219-221 (2009) - [c18]Johan van Benthem:
Decisions, Actions, and Games: A Logical Perspective. ICLA 2009: 1-22 - [c17]Johan van Benthem, Stefan Minica:
Toward a Dynamic Logic of Questions. LORI 2009: 27-41 - 2008
- [j63]Johan van Benthem, Denis Bonnay:
Modal logic and invariance. J. Appl. Non Class. Logics 18(2-3): 153-173 (2008) - [j62]Johan van Benthem:
Logic and Reasoning: do the facts matter? Stud Logica 88(1): 67-84 (2008) - [j61]Johan van Benthem, Vincent F. Hendricks, John Symons:
Editorial. Synth. 160(1): 1-4 (2008) - [j60]Johan van Benthem:
The many faces of interpolation. Synth. 164(3): 451-460 (2008) - [j59]Johan van Benthem, Sujata Ghosh, Fenrong Liu:
Modelling simultaneous games in dynamic logic. Synth. 165(2): 247-268 (2008) - [c16]Johan van Benthem, Daisuke Ikegami:
Modal Fixed-Point Logic and Changing Models. Pillars of Computer Science 2008: 146-165 - [c15]Johan van Benthem, Cédric Dégremont:
Bridges between Dynamic Doxastic and Doxastic Temporal Logics. LOFT 2008: 151-173 - [c14]Marco Aiello
, Johan van Benthem, Elie el Khoury:
Visualizing Compositions of Services from Large Repositories. CEC/EEE 2008: 359-362 - 2007
- [j58]Johan van Benthem:
Rational Dynamics and Epistemic Logic in Games. IGTR 9(1): 13-45 (2007) - [j57]Johan van Benthem:
Erratum: "Rational Dynamics and Epistemic Logic in Games". IGTR 9(2): 377-409 (2007) - [j56]Johan van Benthem:
Dynamic logic for belief revision. J. Appl. Non Class. Logics 17(2): 129-155 (2007) - [j55]Johan van Benthem, Fenrong Liu:
Dynamic logic of preference upgrade. J. Appl. Non Class. Logics 17(2): 157-182 (2007) - [j54]Johan van Benthem:
A New Modal Lindström Theorem. Logica Universalis 1(1): 125-138 (2007) - [j53]Johan van Benthem, Vincent F. Hendricks, John Symons:
Editorial. Synth. 154(1): 1-3 (2007) - [c13]Balder ten Cate, Johan van Benthem, Jouko A. Väänänen:
Lindstrom theorems for fragments of first-order logic. LICS 2007: 280-292 - [c12]Johan van Benthem, Jelle Gerbrandy, Eric Pacuit:
Merging frameworks for interaction: DEL and ETL. TARK 2007: 72-81 - [p7]Patrick Blackburn
, Johan van Benthem:
Modal logic: a semantic perspective. Handbook of Modal Logic 2007: 1-84 - [p6]Marco Aiello
, Ian Pratt-Hartmann, Johan van Benthem:
What is Spatial Logic? Handbook of Spatial Logics 2007: 1-11 - [p5]Johan van Benthem, Guram Bezhanishvili:
Modal Logics of Space. Handbook of Spatial Logics 2007: 217-298 - [e4]Patrick Blackburn, J. F. A. K. van Benthem, Frank Wolter:
Handbook of Modal Logic. Studies in logic and practical reasoning 3, North-Holland 2007, ISBN 978-0-444-51690-9 [contents] - [e3]Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem:
Handbook of Spatial Logics. Springer 2007, ISBN 978-1-4020-5586-7 [contents] - 2006
- [j52]Johan van Benthem, Jan van Eijck, Barteld P. Kooi:
Logics of communication and change. Inf. Comput. 204(11): 1620-1662 (2006) - [j51]Johan van Benthem:
Modal Frame Correspondences and Fixed-Points. Stud Logica 83(1-3): 133-155 (2006) - [j50]Johan van Benthem, Guram Bezhanishvili, Balder ten Cate
, Darko Sarenac:
Multimo dal Logics of Products of Topologies. Stud Logica 84(3): 369-392 (2006) - [j49]Johan van Benthem, Vincent F. Hendricks, John Symons:
Editorial. Synth. 148(1): 1-3 (2006) - [c11]Johan van Benthem, Eric Pacuit:
The Tree of Knowledge in Action: Towards a Common Perspective. Advances in Modal Logic 2006: 87-106 - 2005
- [j48]Johan van Benthem:
Guards, Bounds, and Generalized Semantics. J. Log. Lang. Inf. 14(3): 263-279 (2005) - [j47]Johan van Benthem:
Minimal predicates, fixed-points, and definability. J. Symb. Log. 70(3): 696-712 (2005) - [c10]Johan van Benthem:
Open Problems in Logic and Games. We Will Show Them! (1) 2005: 229-264 - [c9]Johan van Benthem:
An Essay on Sabotage and Obstruction. Mechanizing Mathematical Reasoning 2005: 268-276 - [c8]Johan van Benthem, Jan van Eijck, Barteld P. Kooi:
Common knowledge in update logics. TARK 2005: 253-261 - 2003
- [j46]Johan van Benthem, Robert van Rooy:
Connecting the Different Faces of Information. J. Log. Lang. Inf. 12(4): 375-379 (2003) - [j45]Johan van Benthem:
Conditional Probability Meets Update Logic. J. Log. Lang. Inf. 12(4): 409-421 (2003) - [j44]Marco Aiello
, Johan van Benthem, Guram Bezhanishvili:
Reasoning About Space: The Modal Way. J. Log. Comput. 13(6): 889-920 (2003) - [j43]Johan van Benthem:
Logic and the Dynamics of Information. Minds Mach. 13(4): 503-519 (2003) - [j42]Johan van Benthem:
Logic Games are Complete for Game Logics. Stud Logica 75(2): 183-203 (2003) - [j41]Johan van Benthem, Guram Bezhanishvili, Mai Gehrke:
Euclidean Hierarchy in Modal Logic. Stud Logica 75(3): 327-344 (2003) - 2002
- [j40]Marco Aiello
, Johan van Benthem:
A Modal Walk Through Space. J. Appl. Non Class. Logics 12(3-4): 319-364 (2002) - [j39]Johan van Benthem:
Extensive Games as Process Models. J. Log. Lang. Inf. 11(3): 289-313 (2002) - 2001
- [j38]Breanndán Ó Nualláin, Maarten de Rijke, Johan van Benthem:
Ensemble-based prediction of SAT search behaviour. Electron. Notes Discret. Math. 9: 278-289 (2001) - [e2]Johan van Benthem:
Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2001), Certosa di Pontignano, University of Siena, Italy, July 8-10, 2001. Morgan Kaufmann 2001, ISBN 1-55860-791-9 - 2000
- [j37]Johan van Benthem:
Information Transfer across Chu Spaces. Log. J. IGPL 8(6): 719-731 (2000) - [c7]Johan van Benthem:
'On Being Informed': Update Logics for Knowledge States. JELIA 2000: 1
1990 – 1999
- 1999
- [j36]Johan van Benthem:
Modality, Bisimulation and Interpolation in Infinitary Logic. Ann. Pure Appl. Log. 96(1-3): 29-41 (1999) - [j35]Johan van Benthem:
Temporal Patterns and Modal Structure. Log. J. IGPL 7(1): 7-26 (1999) - [j34]Johan van Benthem:
The Range of Modal Logic. J. Appl. Non Class. Logics 9(2-3) (1999) - [j33]Johan van Benthem, David Israel:
Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman. J. Log. Lang. Inf. 8(3): 390-397 (1999) - [j32]Jon Barwise, Johan van Benthem:
Interpolation, Preservation, and Pebble Games. J. Symb. Log. 64(2): 881-903 (1999) - 1998
- [j31]Hajnal Andréka, István Németi, Johan van Benthem:
Modal Languages and Bounded Fragments of Predicate Logic. J. Philos. Log. 27(3): 217-274 (1998) - [j30]Johan van Benthem:
Program Constructions that are Safe for Bisimulation. Stud Logica 60(2): 311-330 (1998) - [j29]Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
:
Modal Deduction in Second-Order Logic and Set Theory - II. Stud Logica 60(2): 387-420 (1998) - [c6]Johan van Benthem:
Modality, relational guards, and decidability (invited paper). RelMiCS 1998: 18 - [c5]Johan van Benthem:
Process Operations in Extended Dynamic Logics. LICS 1998: 244-250 - 1997
- [j28]Johan van Benthem:
Modal Foundations for Predicate Logic. Log. J. IGPL 5(2): 259-286 (1997) - [j27]Johan van Benthem, Yoav Shoham:
Editorial: Cognitive Actions in Focus. J. Log. Lang. Inf. 6(2): 119-121 (1997) - [j26]Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
:
Modal Deduction in Second-Order Logic and Set Theory - I. J. Log. Comput. 7(2): 251-265 (1997) - [p4]Johan van Benthem, Alice ter Meulen:
Introduction. Handbook of Logic and Language 1997: 3-4 - [p3]Johan van Benthem, Alice ter Meulen:
Introduction. Handbook of Logic and Language 1997: 413-415 - [p2]Reinhard Muskens
, Johan van Benthem, Albert Visser:
Dynamics. Handbook of Logic and Language 1997: 587-648 - [p1]Johan van Benthem, Alice ter Meulen:
Introduction. Handbook of Logic and Language 1997: 835-836 - [e1]Johan van Benthem, Alice ter Meulen:
Handbook of Logic and Language. North Holland / Elsevier 1997, ISBN 978-0-444-81714-3 [contents] - 1996
- [b2]J. F. A. K. van Benthem:
Exploring logical dynamics. Studies in logic, language and information, CSLI 1996, ISBN 978-1-57586-059-6, pp. I-XI, 1-329 - [j25]Frank D. Anger, Rita V. Rodríguez, Hans W. Guesgen
, Johan van Benthem:
Space, Time, and Computation: Trends and Problems. Appl. Intell. 6(1): 5-9 (1996) - 1995
- [j24]Hajnal Andréka, Johan van Benthem, István Németi:
Back and Forth Between Modal Logic and Classical Logic. Log. J. IGPL 3(5): 685-720 (1995) - [j23]Johan van Benthem, Dag Westerståhl:
Directions in generalized quantifier theory. Stud Logica 55(3): 389-419 (1995) - 1994
- [j22]Johan van Benthem, Jan A. Bergstra:
Logic of Transition Systems. J. Log. Lang. Inf. 3(4): 247-283 (1994) - [j21]Johan van Benthem, Jan van Eijck, Vera Stebletsova:
Modal Logic, Transition Systems and Processes. J. Log. Comput. 4(5): 811-855 (1994) - 1993
- [j20]Johan van Benthem:
Modal Frame Classes Revisited. Fundam. Informaticae 18: 307-317 (1993) - [j19]Johan van Benthem:
Editorial: The Elusive Locus of Logicality. J. Log. Comput. 3(5): 451-453 (1993) - [c4]Johan van Benthem:
The Logic of Cognitive Action. IJCAI 1993: 810-812 - 1992
- [j18]Johan van Benthem:
Logic as programming. Fundam. Informaticae 17(4): 285-317 (1992) - [c3]Johan van Benthem:
Epistemic Logic: From Knowledge to Cognition. TARK 1992: 167-168 - 1991
- [b1]Johan van Benthem:
The logic of time - a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, 2nd Edition. Synthese library 156, Kluwer 1991, ISBN 0792310810, pp. I-XXII, 1-280 - [j17]Johan van Benthem:
Language in action. J. Philos. Log. 20(3): 225-263 (1991) - [j16]Johan van Benthem:
Editorial. J. Log. Comput. 1(3): 301-304 (1991) - [c2]Johan van Benthem:
Reasoning and Programming: Analogies between Logic and Computation. ISLP 1991: 717-718 - 1990
- [j15]Johan van Benthem:
Categorial grammar and type theory. J. Philos. Log. 19(2): 115-168 (1990)
1980 – 1989
- 1989
- [j14]Johan van Benthem:
Notes on Modal Definability. Notre Dame J. Formal Log. 30(1): 20-35 (1989) - [j13]Johan van Benthem:
Logical Constants Across Varying Types. Notre Dame J. Formal Log. 30(3): 315-342 (1989) - 1988
- [c1]Johan van Benthem:
Time, logic and computation. REX Workshop 1988: 1-49 - 1986
- [j12]Johan van Benthem:
Tenses in Real Time. Math. Log. Q. 32(1-5): 61-72 (1986) - 1985
- [j11]Johan van Benthem:
The variety of consequence, according to Bolzano. Stud Logica 44(4): 389-403 (1985) - 1984
- [j10]Johan van Benthem:
Foundations of conditional logic. J. Philos. Log. 13(3): 303-349 (1984) - [j9]Johan van Benthem:
Questions About Quantifiers. J. Symb. Log. 49(2): 443-466 (1984) - [j8]Johan van Benthem:
Tense logic and time. Notre Dame J. Formal Log. 25(1): 1-16 (1984) - 1983
- [j7]I. L. Humberstone, J. F. A. K. van Benthem:
Halldén-completeness by gluing of Kripke frames. Notre Dame J. Formal Log. 24(4): 426-430 (1983)
1970 – 1979
- 1979
- [j6]Johan van Benthem:
Canonical Modal Logics and Ultrafilter Extensions. J. Symb. Log. 44(1): 1-8 (1979) - 1978
- [j5]J. F. A. K. van Benthem:
Four paradoxes. J. Philos. Log. 7(1): 49-72 (1978) - 1976
- [j4]Johan van Benthem:
Modal Reduction Principles. J. Symb. Log. 41(2): 301-312 (1976) - [j3]Johan van Benthem:
Modal Formulas are Either Elementary or not sigma triangle-Elementary. J. Symb. Log. 41(2): 436-438 (1976) - 1975
- [j2]Johan van Benthem:
A Note on Modal Formulae and Relational Properties. J. Symb. Log. 40(1): 55-58 (1975) - 1974
- [j1]J. F. A. K. van Benthem:
Hintikka on analyticity. J. Philos. Log. 3(4): 419-431 (1974)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint