Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Johan van Benthem
@article{DBLP:journals/corr/abs-2401-06962,
author = {Alexandru Baltag and
Johan van Benthem},
title = {Knowability as continuity: a topological account of informational
dependence},
journal = {CoRR},
volume = {abs/2401.06962},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.06962},
doi = {10.48550/ARXIV.2401.06962},
eprinttype = {arXiv},
eprint = {2401.06962},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-06962.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/BenthemI23,
author = {Johan van Benthem and
Thomas Icard},
title = {Interleaving Logic and Counting},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {503--587},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.30},
doi = {10.1017/BSL.2023.30},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/BenthemI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Benthem23,
author = {Johan van Benthem},
title = {The logic of conditionals on outback trails},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1135--1152},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac064},
doi = {10.1093/JIGPAL/JZAC064},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Benthem23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BenthemLSY23,
author = {Johan van Benthem and
Lei Li and
Chenwei Shi and
Haoxuan Yin},
title = {Hybrid sabotage modal logic},
journal = {J. Log. Comput.},
volume = {33},
number = {6},
pages = {1216--1242},
year = {2023},
url = {https://doi.org/10.1093/logcom/exac006},
doi = {10.1093/LOGCOM/EXAC006},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BenthemLSY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BenthemMB22,
author = {Johan van Benthem and
Krzysztof Mierzewski and
Francesca Zaffora Blando},
title = {The Modal Logic of Stepwise removal},
journal = {Rev. Symb. Log.},
volume = {15},
number = {1},
pages = {36--63},
year = {2022},
url = {https://doi.org/10.1017/S1755020320000258},
doi = {10.1017/S1755020320000258},
timestamp = {Thu, 21 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/BenthemMB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/CateKB22,
author = {Balder ten Cate and
Raoul Koudijs and
Johan van Benthem},
editor = {David Fern{\'{a}}ndez{-}Duque and
Alessandra Palmigiano and
Sophie Pinchinat},
title = {Local Dependence and Guarding},
booktitle = {Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25,
2022},
pages = {135--154},
publisher = {College Publications},
year = {2022},
url = {http://www.aiml.net/volumes/volume14/12-vanBenthem-tenCate-Koudijs.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/CateKB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-07839,
author = {Alexandru Baltag and
Johan van Benthem and
Dazhu Li},
title = {A Logical Analysis of Dynamic Dependence},
journal = {CoRR},
volume = {abs/2204.07839},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.07839},
doi = {10.48550/ARXIV.2204.07839},
eprinttype = {arXiv},
eprint = {2204.07839},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-07839.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06046,
author = {Johan van Benthem and
Balder ten Cate and
Raoul Koudijs},
title = {Local Dependence and Guarding},
journal = {CoRR},
volume = {abs/2206.06046},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06046},
doi = {10.48550/ARXIV.2206.06046},
eprinttype = {arXiv},
eprint = {2206.06046},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06046.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/BaltagB21,
author = {Alexandru Baltag and
Johan van Benthem},
title = {A Simple Logic of Functional Dependence},
journal = {J. Philos. Log.},
volume = {50},
number = {5},
pages = {939--1005},
year = {2021},
url = {https://doi.org/10.1007/s10992-020-09588-z},
doi = {10.1007/S10992-020-09588-Z},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/BaltagB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-05117,
author = {Johan van Benthem and
Krzysztof Mierzewski and
Francesca Zaffora Blando},
title = {The Modal Logic of Stepwise Removal},
journal = {CoRR},
volume = {abs/2103.05117},
year = {2021},
url = {https://arxiv.org/abs/2103.05117},
eprinttype = {arXiv},
eprint = {2103.05117},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-05117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-14946,
author = {Alexandru Baltag and
Johan van Benthem},
title = {A Simple Logic of Functional Dependence},
journal = {CoRR},
volume = {abs/2103.14946},
year = {2021},
url = {https://arxiv.org/abs/2103.14946},
eprinttype = {arXiv},
eprint = {2103.14946},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-14946.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tllm/BenthemL20,
author = {Johan van Benthem and
Fenrong Liu},
editor = {Dun Deng and
Fenrong Liu and
Mingming Liu and
Dag Westerst{\aa}hl},
title = {New Logical Perspectives on Monotonicity},
booktitle = {Monotonicity in Logic and Language - Second Tsinghua Interdisciplinary
Workshop on Logic, Language and Meaning, {TLLM} 2020, Beijing, China,
December 17-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12564},
pages = {1--12},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-662-62843-0\_1},
doi = {10.1007/978-3-662-62843-0\_1},
timestamp = {Thu, 07 Jan 2021 15:13:22 +0100},
biburl = {https://dblp.org/rec/conf/tllm/BenthemL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Benthem19,
author = {Johan van Benthem},
title = {Implicit and Explicit Stances in Logic},
journal = {J. Philos. Log.},
volume = {48},
number = {3},
pages = {571--601},
year = {2019},
url = {https://doi.org/10.1007/s10992-018-9485-y},
doi = {10.1007/S10992-018-9485-Y},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Benthem19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/BenthemBE19,
author = {Johan van Benthem and
Nick Bezhanishvili and
Sebastian Enqvist},
title = {A New Game Equivalence, its Logic and Algebra},
journal = {J. Philos. Log.},
volume = {48},
number = {4},
pages = {649--684},
year = {2019},
url = {https://doi.org/10.1007/s10992-018-9489-7},
doi = {10.1007/S10992-018-9489-7},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/BenthemBE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BenthemBE19,
author = {Johan van Benthem and
Nick Bezhanishvili and
Sebastian Enqvist},
title = {A Propositional Dynamic Logic for Instantial Neighborhood Semantics},
journal = {Stud Logica},
volume = {107},
number = {4},
pages = {719--751},
year = {2019},
url = {https://doi.org/10.1007/s11225-018-9825-5},
doi = {10.1007/S11225-018-9825-5},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BenthemBE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Benthem18,
author = {Johan van Benthem},
title = {Computation as social agency: What, how and who},
journal = {Inf. Comput.},
volume = {261},
pages = {519--535},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2017.09.009},
doi = {10.1016/J.IC.2017.09.009},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Benthem18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AucherBG18,
author = {Guillaume Aucher and
Johan van Benthem and
Davide Grossi},
title = {Modal logics of sabotage revisited},
journal = {J. Log. Comput.},
volume = {28},
number = {2},
pages = {269--303},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx034},
doi = {10.1093/LOGCOM/EXX034},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/AucherBG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BenthemEGS18,
author = {Johan van Benthem and
Jan van Eijck and
Malvin Gattinger and
Kaile Su},
title = {Symbolic model checking for Dynamic Epistemic Logic - {S5} and beyond},
journal = {J. Log. Comput.},
volume = {28},
number = {2},
pages = {367--402},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx038},
doi = {10.1093/LOGCOM/EXX038},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BenthemEGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Benthem17,
author = {Johan van Benthem},
title = {An Old Discipline with a New Twist: The Course "Logic in Action"},
journal = {{FLAP}},
volume = {4},
number = {1},
year = {2017},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/Benthem17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/AndrekaBN17,
author = {Hajnal Andr{\'{e}}ka and
Johan van Benthem and
Istv{\'{a}}n N{\'{e}}meti},
title = {On {A} New Semantics for First-Order Predicate Logic},
journal = {J. Philos. Log.},
volume = {46},
number = {3},
pages = {259--267},
year = {2017},
url = {https://doi.org/10.1007/s10992-017-9429-y},
doi = {10.1007/S10992-017-9429-Y},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/AndrekaBN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BenthemBH17,
author = {Johan van Benthem and
Nick Bezhanishvili and
Wesley H. Holliday},
title = {A bimodal perspective on possibility semantics},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1353--1389},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw024},
doi = {10.1093/LOGCOM/EXW024},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BenthemBH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BenthemBEY17,
author = {Johan van Benthem and
Nick Bezhanishvili and
Sebastian Enqvist and
Junhua Yu},
title = {Instantial Neighbourhood Logic},
journal = {Rev. Symb. Log.},
volume = {10},
number = {1},
pages = {116--144},
year = {2017},
url = {https://doi.org/10.1017/S1755020316000447},
doi = {10.1017/S1755020316000447},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/BenthemBEY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Benthem17,
author = {Johan van Benthem},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Against All Odds: When Logic Meets Probability},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {239--253},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_12},
doi = {10.1007/978-3-319-68270-9\_12},
timestamp = {Thu, 14 Oct 2021 10:33:18 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Benthem17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BenthemBE17,
author = {Johan van Benthem and
Nick Bezhanishvili and
Sebastian Enqvist},
editor = {Alexandru Baltag and
Jeremy Seligman and
Tomoyuki Yamada},
title = {A Propositional Dynamic Logic for Instantial Neighborhood Models},
booktitle = {Logic, Rationality, and Interaction - 6th International Workshop,
{LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10455},
pages = {137--150},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55665-8\_10},
doi = {10.1007/978-3-662-55665-8\_10},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/BenthemBE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BenthemBE17,
author = {Johan van Benthem and
Nick Bezhanishvili and
Sebastian Enqvist},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {A New Game Equivalence and its Modal Logic},
booktitle = {Proceedings Sixteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2017, Liverpool, UK, 24-26 July 2017},
series = {{EPTCS}},
volume = {251},
pages = {57--74},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.251.5},
doi = {10.4204/EPTCS.251.5},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BenthemBE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/AucherBG15,
author = {Guillaume Aucher and
Johan van Benthem and
Davide Grossi},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Sabotage Modal Logic: Some Model and Proof Theoretic Aspects},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {1--13},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_1},
doi = {10.1007/978-3-662-48561-3\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/AucherBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BenthemEGS15,
author = {Johan van Benthem and
Jan van Eijck and
Malvin Gattinger and
Kaile Su},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Symbolic Model Checking for Dynamic Epistemic Logic},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {366--378},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_30},
doi = {10.1007/978-3-662-48561-3\_30},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/BenthemEGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Benthem15,
author = {Johan van Benthem},
editor = {Johan van Benthem and
Sujata Ghosh and
Rineke Verbrugge},
title = {Logic of Strategies: What and How?},
booktitle = {Models of Strategic Reasoning - Logics, Games, and Communities},
series = {Lecture Notes in Computer Science},
volume = {8972},
pages = {321--332},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48540-8\_10},
doi = {10.1007/978-3-662-48540-8\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/Benthem15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/8972,
editor = {Johan van Benthem and
Sujata Ghosh and
Rineke Verbrugge},
title = {Models of Strategic Reasoning - Logics, Games, and Communities},
series = {Lecture Notes in Computer Science},
volume = {8972},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48540-8},
doi = {10.1007/978-3-662-48540-8},
isbn = {978-3-662-48539-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/8972.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BenthemLT15,
author = {Johan van Benthem and
Chanjuan Liu and
Paolo Turrini},
title = {Computing rational beliefs under limited foresight},
journal = {CoRR},
volume = {abs/1502.03683},
year = {2015},
url = {http://arxiv.org/abs/1502.03683},
eprinttype = {arXiv},
eprint = {1502.03683},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BenthemLT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BenthemDP14,
author = {Johan van Benthem and
David Fern{\'{a}}ndez{-}Duque and
Eric Pacuit},
title = {Evidence and plausibility in neighborhood structures},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {106--133},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.007},
doi = {10.1016/J.APAL.2013.07.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BenthemDP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/BenthemL14,
author = {Johan van Benthem and
Fenrong Liu},
title = {Deontic Logic and Preference Change},
journal = {{FLAP}},
volume = {1},
number = {2},
pages = {1--46},
year = {2014},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/BenthemL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Benthem14,
author = {Johan van Benthem},
title = {Natural Language and Logic of Agency},
journal = {J. Log. Lang. Inf.},
volume = {23},
number = {3},
pages = {367--382},
year = {2014},
url = {https://doi.org/10.1007/s10849-014-9188-x},
doi = {10.1007/S10849-014-9188-X},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Benthem14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Benthem14,
author = {Johan van Benthem},
title = {Modeling Reasoning in a Social Setting},
journal = {Stud Logica},
volume = {102},
number = {2},
pages = {235--265},
year = {2014},
url = {https://doi.org/10.1007/s11225-014-9543-6},
doi = {10.1007/S11225-014-9543-6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Benthem14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Benthem13,
author = {Johan van Benthem},
editor = {Bob Coecke and
Luke Ong and
Prakash Panangaden},
title = {Reasoning about Strategies},
booktitle = {Computation, Logic, Games, and Quantum Foundations. The Many Facets
of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7860},
pages = {336--347},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38164-5\_23},
doi = {10.1007/978-3-642-38164-5\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Benthem13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BenthemDP13,
author = {Johan van Benthem and
David Fern{\'{a}}ndez{-}Duque and
Eric Pacuit},
title = {Evidence and plausibility in neighborhood structures},
journal = {CoRR},
volume = {abs/1307.1277},
year = {2013},
url = {http://arxiv.org/abs/1307.1277},
eprinttype = {arXiv},
eprint = {1307.1277},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BenthemDP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/argcom/Benthem12,
author = {Johan van Benthem},
title = {The nets of reason},
journal = {Argument Comput.},
volume = {3},
number = {2-3},
pages = {83--86},
year = {2012},
url = {https://doi.org/10.1080/19462166.2012.704400},
doi = {10.1080/19462166.2012.704400},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/argcom/Benthem12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/BenthemM12,
author = {Johan van Benthem and
Stefan Minica},
title = {Toward a Dynamic Logic of Questions},
journal = {J. Philos. Log.},
volume = {41},
number = {4},
pages = {633--669},
year = {2012},
url = {https://doi.org/10.1007/s10992-012-9233-7},
doi = {10.1007/S10992-012-9233-7},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/BenthemM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BenthemBH12,
author = {Johan van Benthem and
Nick Bezhanishvili and
Ian M. Hodkinson},
title = {Sahlqvist Correspondence for Modal mu-calculus},
journal = {Stud Logica},
volume = {100},
number = {1-2},
pages = {31--60},
year = {2012},
url = {https://doi.org/10.1007/s11225-012-9388-9},
doi = {10.1007/S11225-012-9388-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BenthemBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/BenthemS12,
author = {Johan van Benthem and
Sonja Smets},
title = {New logical perspectives on physics},
journal = {Synth.},
volume = {186},
number = {3},
pages = {615--617},
year = {2012},
url = {https://doi.org/10.1007/s11229-011-9911-y},
doi = {10.1007/S11229-011-9911-Y},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/BenthemS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Benthem12,
author = {Johan van Benthem},
title = {The logic of empirical theories revisited},
journal = {Synth.},
volume = {186},
number = {3},
pages = {775--792},
year = {2012},
url = {https://doi.org/10.1007/s11229-011-9916-6},
doi = {10.1007/S11229-011-9916-6},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Benthem12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Benthem12,
author = {Johan van Benthem},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner and
Silvio Ghilardi and
Lawrence S. Moss},
title = {Foundational Issues in Logical Dynamics},
booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances
in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012},
pages = {95--96},
publisher = {College Publications},
year = {2012},
url = {http://www.aiml.net/volumes/volume9/Benthem.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:06 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Benthem12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BenthemDP12,
author = {Johan van Benthem and
David Fern{\'{a}}ndez{-}Duque and
Eric Pacuit},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner and
Silvio Ghilardi and
Lawrence S. Moss},
title = {Evidence Logic: {A} New Look at Neighborhood Structures},
booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances
in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012},
pages = {97--118},
publisher = {College Publications},
year = {2012},
url = {http://www.aiml.net/volumes/volume9/Benthem-Fernandez-Duque-Pacuit.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BenthemDP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Benthem12,
author = {Johan van Benthem},
editor = {Jan van Eijck and
Rineke Verbrugge},
title = {In Praise of Strategies},
booktitle = {Games, Actions and Social Software - Multidisciplinary Aspects},
series = {Lecture Notes in Computer Science},
volume = {7010},
pages = {96--116},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29326-9\_6},
doi = {10.1007/978-3-642-29326-9\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/Benthem12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Benthem11,
author = {Johan van Benthem},
title = {McCarthy variations in a modal key},
journal = {Artif. Intell.},
volume = {175},
number = {1},
pages = {428--439},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.04.014},
doi = {10.1016/J.ARTINT.2010.04.014},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Benthem11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/games/BenthemPR11,
author = {Johan van Benthem and
Eric Pacuit and
Olivier Roy},
title = {Toward a Theory of Play: {A} Logical Perspective on Games and Interaction},
journal = {Games},
volume = {2},
number = {1},
pages = {52--86},
year = {2011},
url = {https://doi.org/10.3390/g2010052},
doi = {10.3390/G2010052},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/games/BenthemPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icga/Benthem11,
author = {Johan van Benthem},
title = {Obituaries: John McCarthy},
journal = {J. Int. Comput. Games Assoc.},
volume = {34},
number = {4},
pages = {254},
year = {2011},
url = {https://doi.org/10.3233/ICG-2011-34416},
doi = {10.3233/ICG-2011-34416},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icga/Benthem11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/AgotnesBDM11,
author = {Thomas {\AA}gotnes and
Johan van Benthem and
Hans van Ditmarsch and
Stefan Minica},
title = {Question-answer games},
journal = {J. Appl. Non Class. Logics},
volume = {21},
number = {3-4},
pages = {265--288},
year = {2011},
url = {https://doi.org/10.3166/jancl.21.265-288},
doi = {10.3166/JANCL.21.265-288},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/AgotnesBDM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BenthemP11,
author = {Johan van Benthem and
Eric Pacuit},
title = {Dynamic Logics of Evidence-Based Beliefs},
journal = {Stud Logica},
volume = {99},
number = {1-3},
pages = {61--92},
year = {2011},
url = {https://doi.org/10.1007/s11225-011-9347-x},
doi = {10.1007/S11225-011-9347-X},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BenthemP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/BenthemKV11,
author = {Johan van Benthem and
Theo A. F. Kuipers and
Henk Visser},
title = {Introduction},
journal = {Synth.},
volume = {179},
number = {2},
pages = {203--206},
year = {2011},
url = {https://doi.org/10.1007/s11229-010-9774-7},
doi = {10.1007/S11229-010-9774-7},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/BenthemKV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BenthemP11,
author = {Johan van Benthem and
Eric Pacuit},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Logical Dynamics of Evidence},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {1--27},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_1},
doi = {10.1007/978-3-642-24130-7\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lori/BenthemP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Benthem11,
author = {Johan van Benthem},
editor = {Krzysztof R. Apt},
title = {Exploring a theory of play},
booktitle = {Proceedings of the 13th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14,
2011},
pages = {12--16},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2000378.2000380},
doi = {10.1145/2000378.2000380},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/Benthem11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Benthem11,
author = {Johan van Benthem},
editor = {Johan van Benthem and
Amitabha Gupta and
Rohit Parikh},
title = {Logic Games: From Tools to Models of Interaction},
booktitle = {Proof, Computation and Agency - Logic at the Crossroads},
series = {Synthese library},
volume = {352},
pages = {183--216},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-94-007-0080-2\_11},
doi = {10.1007/978-94-007-0080-2\_11},
timestamp = {Tue, 16 May 2017 14:01:41 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Benthem11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0026706,
editor = {Johan van Benthem and
Amitabha Gupta and
Rohit Parikh},
title = {Proof, Computation and Agency - Logic at the Crossroads},
series = {Synthese library},
volume = {352},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-94-007-0080-2},
doi = {10.1007/978-94-007-0080-2},
isbn = {978-94-007-0079-6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0026706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BenthemG10,
author = {Johan van Benthem and
Am{\'{e}}lie Gheerbrant},
title = {Game Solution, Epistemic Dynamics and Fixed-Point Logics},
journal = {Fundam. Informaticae},
volume = {100},
number = {1-4},
pages = {19--41},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-261},
doi = {10.3233/FI-2010-261},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BenthemG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BenthemP10,
author = {Johan van Benthem and
Eric Pacuit},
title = {Temporal Logics of Agency},
journal = {J. Log. Lang. Inf.},
volume = {19},
number = {4},
pages = {389--393},
year = {2010},
url = {https://doi.org/10.1007/s10849-009-9120-y},
doi = {10.1007/S10849-009-9120-Y},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/BenthemP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/BenthemV10,
author = {Johan van Benthem and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {The dynamics of awareness},
journal = {Synth.},
volume = {177},
number = {Supplement-1},
pages = {5--27},
year = {2010},
url = {https://doi.org/10.1007/s11229-010-9764-9},
doi = {10.1007/S11229-010-9764-9},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/BenthemV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Benthem10,
author = {Johan van Benthem},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Logic between Expressivity and Complexity},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {122--126},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_10},
doi = {10.1007/978-3-642-14203-1\_10},
timestamp = {Wed, 25 Sep 2019 18:19:14 +0200},
biburl = {https://dblp.org/rec/conf/cade/Benthem10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/BenthemGL10,
author = {Johan van Benthem and
Davide Grossi and
Fenrong Liu},
editor = {Guido Governatori and
Giovanni Sartor},
title = {Deontics = Betterness + Priority},
booktitle = {Deontic Logic in Computer Science, 10th International Conference,
{DEON} 2010, Fiesole, Italy, July 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6181},
pages = {50--65},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14183-6\_6},
doi = {10.1007/978-3-642-14183-6\_6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/BenthemGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-3668,
author = {Johan van Benthem and
Balder ten Cate and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Lindstr{\"{o}}m theorems for fragments of first-order logic},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {3},
year = {2009},
url = {http://arxiv.org/abs/0905.3668},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-3668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/BenthemGR09,
author = {Johan van Benthem and
Patrick Girard and
Olivier Roy},
title = {Everything Else Being Equal: {A} Modal Logic for \emph{Ceteris Paribus}
Preferences},
journal = {J. Philos. Log.},
volume = {38},
number = {1},
pages = {83--125},
year = {2009},
url = {https://doi.org/10.1007/s10992-008-9085-3},
doi = {10.1007/S10992-008-9085-3},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/BenthemGR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/BenthemGHP09,
author = {Johan van Benthem and
Jelle Gerbrandy and
Tomohiro Hoshi and
Eric Pacuit},
title = {Merging Frameworks for Interaction},
journal = {J. Philos. Log.},
volume = {38},
number = {5},
pages = {491--526},
year = {2009},
url = {https://doi.org/10.1007/s10992-008-9099-x},
doi = {10.1007/S10992-008-9099-X},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/BenthemGHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BenthemGK09,
author = {Johan van Benthem and
Jelle Gerbrandy and
Barteld P. Kooi},
title = {Dynamic Update with Probabilities},
journal = {Stud Logica},
volume = {93},
number = {1},
pages = {67--96},
year = {2009},
url = {https://doi.org/10.1007/s11225-009-9209-y},
doi = {10.1007/S11225-009-9209-Y},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BenthemGK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Benthem09,
author = {Johan van Benthem},
title = {The information in intuitionistic logic},
journal = {Synth.},
volume = {167},
number = {2},
pages = {251--270},
year = {2009},
url = {https://doi.org/10.1007/s11229-008-9408-5},
doi = {10.1007/S11229-008-9408-5},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Benthem09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/AgotnesBP09,
author = {Thomas {\AA}gotnes and
Johan van Benthem and
Eric Pacuit},
title = {Logic and intelligent interaction},
journal = {Synth.},
volume = {169},
number = {2},
pages = {219--221},
year = {2009},
url = {https://doi.org/10.1007/s11229-009-9558-0},
doi = {10.1007/S11229-009-9558-0},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/AgotnesBP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Benthem09,
author = {Johan van Benthem},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Decisions, Actions, and Games: {A} Logical Perspective},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {1--22},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_1},
doi = {10.1007/978-3-540-92701-3\_1},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/Benthem09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BenthemM09,
author = {Johan van Benthem and
Stefan Minica},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Toward a Dynamic Logic of Questions},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {27--41},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_3},
doi = {10.1007/978-3-642-04893-7\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lori/BenthemM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BenthemB08,
author = {Johan van Benthem and
Denis Bonnay},
title = {Modal logic and invariance},
journal = {J. Appl. Non Class. Logics},
volume = {18},
number = {2-3},
pages = {153--173},
year = {2008},
url = {https://doi.org/10.3166/JANCL.18.153-173},
doi = {10.3166/JANCL.18.153-173},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BenthemB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Benthem08,
author = {Johan van Benthem},
title = {Logic and Reasoning: do the facts matter?},
journal = {Stud Logica},
volume = {88},
number = {1},
pages = {67--84},
year = {2008},
url = {https://doi.org/10.1007/s11225-008-9101-1},
doi = {10.1007/S11225-008-9101-1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Benthem08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/BenthemHS08,
author = {Johan van Benthem and
Vincent F. Hendricks and
John Symons},
title = {Editorial},
journal = {Synth.},
volume = {160},
number = {1},
pages = {1--4},
year = {2008},
url = {https://doi.org/10.1007/s11229-007-9274-6},
doi = {10.1007/S11229-007-9274-6},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/BenthemHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Benthem08,
author = {Johan van Benthem},
title = {The many faces of interpolation},
journal = {Synth.},
volume = {164},
number = {3},
pages = {451--460},
year = {2008},
url = {https://doi.org/10.1007/s11229-008-9351-5},
doi = {10.1007/S11229-008-9351-5},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Benthem08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/BenthemGL08,
author = {Johan van Benthem and
Sujata Ghosh and
Fenrong Liu},
title = {Modelling simultaneous games in dynamic logic},
journal = {Synth.},
volume = {165},
number = {2},
pages = {247--268},
year = {2008},
url = {https://doi.org/10.1007/s11229-008-9390-y},
doi = {10.1007/S11229-008-9390-Y},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/BenthemGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BenthemI08,
author = {Johan van Benthem and
Daisuke Ikegami},
editor = {Arnon Avron and
Nachum Dershowitz and
Alexander Rabinovich},
title = {Modal Fixed-Point Logic and Changing Models},
booktitle = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot
on the Occasion of His 85th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4800},
pages = {146--165},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78127-1\_9},
doi = {10.1007/978-3-540-78127-1\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BenthemI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/loft/BenthemD08,
author = {Johan van Benthem and
C{\'{e}}dric D{\'{e}}gremont},
editor = {Giacomo Bonanno and
Benedikt L{\"{o}}we and
Wiebe van der Hoek},
title = {Bridges between Dynamic Doxastic and Doxastic Temporal Logics},
booktitle = {Logic and the Foundations of Game and Decision Theory - {LOFT} 8,
8th International Conference, Amsterdam, The Netherlands, July 3-5,
2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6006},
pages = {151--173},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-15164-4\_8},
doi = {10.1007/978-3-642-15164-4\_8},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/loft/BenthemD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wecwis/AielloBK08,
author = {Marco Aiello and
Johan van Benthem and
Elie el Khoury},
title = {Visualizing Compositions of Services from Large Repositories},
booktitle = {10th {IEEE} International Conference on E-Commerce Technology {(CEC}
2008) / 5th {IEEE} International Conference on Enterprise Computing,
E-Commerce and E-Services {(EEE} 2008), July 21-14, 2008, Washington,
DC, {USA}},
pages = {359--362},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CECandEEE.2008.149},
doi = {10.1109/CECANDEEE.2008.149},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wecwis/AielloBK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igtr/Benthem07,
author = {Johan van Benthem},
title = {Rational Dynamics and Epistemic Logic in Games},
journal = {{IGTR}},
volume = {9},
number = {1},
pages = {13--45},
year = {2007},
url = {https://doi.org/10.1142/S0219198907001254},
doi = {10.1142/S0219198907001254},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igtr/Benthem07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igtr/Benthem07a,
author = {Johan van Benthem},
title = {Erratum: "Rational Dynamics and Epistemic Logic in Games"},
journal = {{IGTR}},
volume = {9},
number = {2},
pages = {377--409},
year = {2007},
url = {https://doi.org/10.1142/S0219198907001485},
doi = {10.1142/S0219198907001485},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igtr/Benthem07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Benthem07,
author = {Johan van Benthem},
title = {Dynamic logic for belief revision},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {2},
pages = {129--155},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.129-155},
doi = {10.3166/JANCL.17.129-155},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Benthem07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BenthemL07,
author = {Johan van Benthem and
Fenrong Liu},
title = {Dynamic logic of preference upgrade},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {2},
pages = {157--182},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.157-182},
doi = {10.3166/JANCL.17.157-182},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BenthemL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Benthem07,
author = {Johan van Benthem},
title = {A New Modal Lindstr{\"{o}}m Theorem},
journal = {Logica Universalis},
volume = {1},
number = {1},
pages = {125--138},
year = {2007},
url = {https://doi.org/10.1007/s11787-006-0006-3},
doi = {10.1007/S11787-006-0006-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Benthem07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/BenthemHS07,
author = {Johan van Benthem and
Vincent F. Hendricks and
John Symons},
title = {Editorial},
journal = {Synth.},
volume = {154},
number = {1},
pages = {1--3},
year = {2007},
url = {https://doi.org/10.1007/s11229-006-0014-0},
doi = {10.1007/S11229-006-0014-0},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/BenthemHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CateBV07,
author = {Balder ten Cate and
Johan van Benthem and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Lindstrom theorems for fragments of first-order logic},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {280--292},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.29},
doi = {10.1109/LICS.2007.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CateBV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/BenthemGP07,
author = {Johan van Benthem and
Jelle Gerbrandy and
Eric Pacuit},
editor = {Dov Samet},
title = {Merging frameworks for interaction: {DEL} and {ETL}},
booktitle = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007},
pages = {72--81},
year = {2007},
url = {https://doi.org/10.1145/1324249.1324262},
doi = {10.1145/1324249.1324262},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/BenthemGP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/07/BlackburnB07,
author = {Patrick Blackburn and
Johan van Benthem},
editor = {Patrick Blackburn and
J. F. A. K. van Benthem and
Frank Wolter},
title = {Modal logic: a semantic perspective},
booktitle = {Handbook of Modal Logic},
series = {Studies in logic and practical reasoning},
volume = {3},
pages = {1--84},
publisher = {North-Holland},
year = {2007},
url = {https://doi.org/10.1016/s1570-2464(07)80004-8},
doi = {10.1016/S1570-2464(07)80004-8},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/07/BlackburnB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/spatial/AielloPB07,
author = {Marco Aiello and
Ian Pratt{-}Hartmann and
Johan van Benthem},
editor = {Marco Aiello and
Ian Pratt{-}Hartmann and
Johan van Benthem},
title = {What is Spatial Logic?},
booktitle = {Handbook of Spatial Logics},
pages = {1--11},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-1-4020-5587-4\_1},
doi = {10.1007/978-1-4020-5587-4\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/spatial/AielloPB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/spatial/BenthemB07,
author = {Johan van Benthem and
Guram Bezhanishvili},
editor = {Marco Aiello and
Ian Pratt{-}Hartmann and
Johan van Benthem},
title = {Modal Logics of Space},
booktitle = {Handbook of Spatial Logics},
pages = {217--298},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-1-4020-5587-4\_5},
doi = {10.1007/978-1-4020-5587-4\_5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/spatial/BenthemB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/el/07/BBW2007,
editor = {Patrick Blackburn and
J. F. A. K. van Benthem and
Frank Wolter},
title = {Handbook of Modal Logic},
series = {Studies in logic and practical reasoning},
volume = {3},
publisher = {North-Holland},
year = {2007},
url = {https://www.sciencedirect.com/bookseries/studies-in-logic-and-practical-reasoning/vol/3/suppl/C},
isbn = {978-0-444-51690-9},
timestamp = {Tue, 16 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/07/BBW2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/spatial/2007,
editor = {Marco Aiello and
Ian Pratt{-}Hartmann and
Johan van Benthem},
title = {Handbook of Spatial Logics},
publisher = {Springer},
year = {2007},
isbn = {978-1-4020-5586-7},
timestamp = {Tue, 10 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/spatial/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BenthemEK06,
author = {Johan van Benthem and
Jan van Eijck and
Barteld P. Kooi},
title = {Logics of communication and change},
journal = {Inf. Comput.},
volume = {204},
number = {11},
pages = {1620--1662},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.04.006},
doi = {10.1016/J.IC.2006.04.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BenthemEK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Benthem06,
author = {Johan van Benthem},
title = {Modal Frame Correspondences and Fixed-Points},
journal = {Stud Logica},
volume = {83},
number = {1-3},
pages = {133--155},
year = {2006},
url = {https://doi.org/10.1007/s11225-006-8301-9},
doi = {10.1007/S11225-006-8301-9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Benthem06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BenthemBCS06,
author = {Johan van Benthem and
Guram Bezhanishvili and
Balder ten Cate and
Darko Sarenac},
title = {Multimo dal Logics of Products of Topologies},
journal = {Stud Logica},
volume = {84},
number = {3},
pages = {369--392},
year = {2006},
url = {https://doi.org/10.1007/s11225-006-9013-x},
doi = {10.1007/S11225-006-9013-X},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/BenthemBCS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/BenthemHS06,
author = {Johan van Benthem and
Vincent F. Hendricks and
John Symons},
title = {Editorial},
journal = {Synth.},
volume = {148},
number = {1},
pages = {1--3},
year = {2006},
url = {https://doi.org/10.1007/s11229-005-5892-z},
doi = {10.1007/S11229-005-5892-Z},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/BenthemHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BenthemP06,
author = {Johan van Benthem and
Eric Pacuit},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {The Tree of Knowledge in Action: Towards a Common Perspective},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {87--106},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/vanBenthem-Pacuit.ps},
timestamp = {Wed, 17 Jan 2024 09:57:50 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BenthemP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Benthem05,
author = {Johan van Benthem},
title = {Guards, Bounds, and Generalized Semantics},
journal = {J. Log. Lang. Inf.},
volume = {14},
number = {3},
pages = {263--279},
year = {2005},
url = {https://doi.org/10.1007/s10849-005-5786-y},
doi = {10.1007/S10849-005-5786-Y},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Benthem05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Benthem05,
author = {Johan van Benthem},
title = {Minimal predicates, fixed-points, and definability},
journal = {J. Symb. Log.},
volume = {70},
number = {3},
pages = {696--712},
year = {2005},
url = {https://doi.org/10.2178/jsl/1122038910},
doi = {10.2178/JSL/1122038910},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Benthem05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Benthem05a,
author = {Johan van Benthem},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Open Problems in Logic and Games},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {229--264},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Benthem05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Benthem05,
author = {Johan van Benthem},
editor = {Dieter Hutter and
Werner Stephan},
title = {An Essay on Sabotage and Obstruction},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
H. Siekmann on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2605},
pages = {268--276},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32254-2\_16},
doi = {10.1007/978-3-540-32254-2\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Benthem05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/BenthemEK05,
author = {Johan van Benthem and
Jan van Eijck and
Barteld P. Kooi},
editor = {Ron van der Meyden},
title = {Common knowledge in update logics},
booktitle = {Proceedings of the 10th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2005), Singapore, June 10-12, 2005},
pages = {253--261},
publisher = {National University of Singapore},
year = {2005},
url = {https://dl.acm.org/citation.cfm?id=1089960},
timestamp = {Thu, 29 Nov 2018 12:50:42 +0100},
biburl = {https://dblp.org/rec/conf/tark/BenthemEK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BenthemR03,
author = {Johan van Benthem and
Robert van Rooy},
title = {Connecting the Different Faces of Information},
journal = {J. Log. Lang. Inf.},
volume = {12},
number = {4},
pages = {375--379},
year = {2003},
url = {https://doi.org/10.1023/A:1025026116766},
doi = {10.1023/A:1025026116766},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/BenthemR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Benthem03,
author = {Johan van Benthem},
title = {Conditional Probability Meets Update Logic},
journal = {J. Log. Lang. Inf.},
volume = {12},
number = {4},
pages = {409--421},
year = {2003},
url = {https://doi.org/10.1023/A:1025002917675},
doi = {10.1023/A:1025002917675},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Benthem03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AielloBB03,
author = {Marco Aiello and
Johan van Benthem and
Guram Bezhanishvili},
title = {Reasoning About Space: The Modal Way},
journal = {J. Log. Comput.},
volume = {13},
number = {6},
pages = {889--920},
year = {2003},
url = {https://doi.org/10.1093/logcom/13.6.889},
doi = {10.1093/LOGCOM/13.6.889},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/AielloBB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mima/Benthem03,
author = {Johan van Benthem},
title = {Logic and the Dynamics of Information},
journal = {Minds Mach.},
volume = {13},
number = {4},
pages = {503--519},
year = {2003},
url = {https://doi.org/10.1023/A:1026296600182},
doi = {10.1023/A:1026296600182},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mima/Benthem03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Benthem03,
author = {Johan van Benthem},
title = {Logic Games are Complete for Game Logics},
journal = {Stud Logica},
volume = {75},
number = {2},
pages = {183--203},
year = {2003},
url = {https://doi.org/10.1023/A:1027306910434},
doi = {10.1023/A:1027306910434},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Benthem03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BenthemBG03,
author = {Johan van Benthem and
Guram Bezhanishvili and
Mai Gehrke},
title = {Euclidean Hierarchy in Modal Logic},
journal = {Stud Logica},
volume = {75},
number = {3},
pages = {327--344},
year = {2003},
url = {https://doi.org/10.1023/B:STUD.0000009564.00287.16},
doi = {10.1023/B:STUD.0000009564.00287.16},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BenthemBG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/AielloB02,
author = {Marco Aiello and
Johan van Benthem},
title = {A Modal Walk Through Space},
journal = {J. Appl. Non Class. Logics},
volume = {12},
number = {3-4},
pages = {319--364},
year = {2002},
url = {https://doi.org/10.3166/jancl.12.319-363},
doi = {10.3166/JANCL.12.319-363},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/AielloB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Benthem02,
author = {Johan van Benthem},
title = {Extensive Games as Process Models},
journal = {J. Log. Lang. Inf.},
volume = {11},
number = {3},
pages = {289--313},
year = {2002},
url = {https://doi.org/10.1023/A:1015534111901},
doi = {10.1023/A:1015534111901},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Benthem02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/NuallainRB01,
author = {Breannd{\'{a}}n {\'{O}} Nuall{\'{a}}in and
Maarten de Rijke and
Johan van Benthem},
title = {Ensemble-based prediction of {SAT} search behaviour},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {278--289},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00328-2},
doi = {10.1016/S1571-0653(04)00328-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/NuallainRB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tark/2001,
editor = {Johan van Benthem},
title = {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},
publisher = {Morgan Kaufmann},
year = {2001},
isbn = {1-55860-791-9},
timestamp = {Tue, 05 Mar 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Benthem00,
author = {Johan van Benthem},
title = {Information Transfer across Chu Spaces},
journal = {Log. J. {IGPL}},
volume = {8},
number = {6},
pages = {719--731},
year = {2000},
url = {https://doi.org/10.1093/jigpal/8.6.719},
doi = {10.1093/JIGPAL/8.6.719},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Benthem00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Benthem00,
author = {Johan van Benthem},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {'On Being Informed': Update Logics for Knowledge States},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {1},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_1},
doi = {10.1007/3-540-40006-0\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Benthem00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Benthem99,
author = {Johan van Benthem},
title = {Modality, Bisimulation and Interpolation in Infinitary Logic},
journal = {Ann. Pure Appl. Log.},
volume = {96},
number = {1-3},
pages = {29--41},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(98)00029-3},
doi = {10.1016/S0168-0072(98)00029-3},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Benthem99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Benthem99,
author = {Johan van Benthem},
title = {Temporal Patterns and Modal Structure},
journal = {Log. J. {IGPL}},
volume = {7},
number = {1},
pages = {7--26},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.1.7},
doi = {10.1093/JIGPAL/7.1.7},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Benthem99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Benthem99,
author = {Johan van Benthem},
title = {The Range of Modal Logic},
journal = {J. Appl. Non Class. Logics},
volume = {9},
number = {2-3},
year = {1999},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Benthem99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BenthemI99,
author = {Johan van Benthem and
David Israel},
title = {Information Flow: The Logic of Distributed Systems, Jon Barwise and
Jerry Seligman},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {3},
pages = {390--397},
year = {1999},
url = {https://doi.org/10.1023/A:1008350722315},
doi = {10.1023/A:1008350722315},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/BenthemI99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BarwiseB99,
author = {Jon Barwise and
Johan van Benthem},
title = {Interpolation, Preservation, and Pebble Games},
journal = {J. Symb. Log.},
volume = {64},
number = {2},
pages = {881--903},
year = {1999},
url = {https://doi.org/10.2307/2586507},
doi = {10.2307/2586507},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BarwiseB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/AndrekaNB98,
author = {Hajnal Andr{\'{e}}ka and
Istv{\'{a}}n N{\'{e}}meti and
Johan van Benthem},
title = {Modal Languages and Bounded Fragments of Predicate Logic},
journal = {J. Philos. Log.},
volume = {27},
number = {3},
pages = {217--274},
year = {1998},
url = {https://doi.org/10.1023/A:1004275029985},
doi = {10.1023/A:1004275029985},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/AndrekaNB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Benthem98,
author = {Johan van Benthem},
title = {Program Constructions that are Safe for Bisimulation},
journal = {Stud Logica},
volume = {60},
number = {2},
pages = {311--330},
year = {1998},
url = {https://doi.org/10.1023/A:1005072201319},
doi = {10.1023/A:1005072201319},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Benthem98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BenthemDMP98,
author = {Johan van Benthem and
Giovanna D'Agostino and
Angelo Montanari and
Alberto Policriti},
title = {Modal Deduction in Second-Order Logic and Set Theory - {II}},
journal = {Stud Logica},
volume = {60},
number = {2},
pages = {387--420},
year = {1998},
url = {https://doi.org/10.1023/A:1005037512998},
doi = {10.1023/A:1005037512998},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BenthemDMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Benthem98,
author = {Johan van Benthem},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Modality, relational guards, and decidability (invited paper)},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {18},
year = {1998},
timestamp = {Thu, 03 Jan 2002 12:07:55 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Benthem98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Benthem98,
author = {Johan van Benthem},
title = {Process Operations in Extended Dynamic Logics},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {244--250},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705661},
doi = {10.1109/LICS.1998.705661},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Benthem98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Benthem97,
author = {Johan van Benthem},
title = {Modal Foundations for Predicate Logic},
journal = {Log. J. {IGPL}},
volume = {5},
number = {2},
pages = {259--286},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.2.259},
doi = {10.1093/JIGPAL/5.2.259},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Benthem97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BenthemS97,
author = {Johan van Benthem and
Yoav Shoham},
title = {Editorial: Cognitive Actions in Focus},
journal = {J. Log. Lang. Inf.},
volume = {6},
number = {2},
pages = {119--121},
year = {1997},
url = {https://doi.org/10.1023/A:1008214401253},
doi = {10.1023/A:1008214401253},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/BenthemS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BenthemDMP97,
author = {Johan van Benthem and
Giovanna D'Agostino and
Angelo Montanari and
Alberto Policriti},
title = {Modal Deduction in Second-Order Logic and Set Theory - {I}},
journal = {J. Log. Comput.},
volume = {7},
number = {2},
pages = {251--265},
year = {1997},
url = {https://doi.org/10.1093/logcom/7.2.251},
doi = {10.1093/LOGCOM/7.2.251},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BenthemDMP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/97/BenthemM97a,
author = {Johan van Benthem and
Alice ter Meulen},
editor = {Johan van Benthem and
Alice ter Meulen},
title = {Introduction},
booktitle = {Handbook of Logic and Language},
pages = {3--4},
publisher = {North Holland / Elsevier},
year = {1997},
url = {https://doi.org/10.1016/b978-044481714-3/50003-5},
doi = {10.1016/B978-044481714-3/50003-5},
timestamp = {Wed, 26 Jun 2019 18:32:30 +0200},
biburl = {https://dblp.org/rec/books/el/97/BenthemM97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/97/BenthemM97b,
author = {Johan van Benthem and
Alice ter Meulen},
editor = {Johan van Benthem and
Alice ter Meulen},
title = {Introduction},
booktitle = {Handbook of Logic and Language},
pages = {413--415},
publisher = {North Holland / Elsevier},
year = {1997},
url = {https://doi.org/10.1016/b978-044481714-3/50010-2},
doi = {10.1016/B978-044481714-3/50010-2},
timestamp = {Wed, 26 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/97/BenthemM97b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/97/MuskensBV97,
author = {Reinhard Muskens and
Johan van Benthem and
Albert Visser},
editor = {Johan van Benthem and
Alice ter Meulen},
title = {Dynamics},
booktitle = {Handbook of Logic and Language},
pages = {587--648},
publisher = {North Holland / Elsevier},
year = {1997},
url = {https://doi.org/10.1016/b978-044481714-3/50014-x},
doi = {10.1016/B978-044481714-3/50014-X},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/97/MuskensBV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/97/BenthemM97c,
author = {Johan van Benthem and
Alice ter Meulen},
editor = {Johan van Benthem and
Alice ter Meulen},
title = {Introduction},
booktitle = {Handbook of Logic and Language},
pages = {835--836},
publisher = {North Holland / Elsevier},
year = {1997},
url = {https://doi.org/10.1016/b978-044481714-3/50019-9},
doi = {10.1016/B978-044481714-3/50019-9},
timestamp = {Wed, 26 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/97/BenthemM97c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/el/97/BM1997,
editor = {Johan van Benthem and
Alice ter Meulen},
title = {Handbook of Logic and Language},
publisher = {North Holland / Elsevier},
year = {1997},
url = {https://www.sciencedirect.com/book/9780444817143/handbook-of-logic-and-language},
isbn = {978-0-444-81714-3},
timestamp = {Wed, 26 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/97/BM1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0092423,
author = {J. F. A. K. van Benthem},
title = {Exploring logical dynamics},
series = {Studies in logic, language and information},
publisher = {{CSLI}},
year = {1996},
isbn = {978-1-57586-059-6},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0092423.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/AngerRGB96,
author = {Frank D. Anger and
Rita V. Rodr{\'{\i}}guez and
Hans W. Guesgen and
Johan van Benthem},
title = {Space, Time, and Computation: Trends and Problems},
journal = {Appl. Intell.},
volume = {6},
number = {1},
pages = {5--9},
year = {1996},
url = {https://doi.org/10.1007/BF00117597},
doi = {10.1007/BF00117597},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apin/AngerRGB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AndrekaBN95,
author = {Hajnal Andr{\'{e}}ka and
Johan van Benthem and
Istv{\'{a}}n N{\'{e}}meti},
title = {Back and Forth Between Modal Logic and Classical Logic},
journal = {Log. J. {IGPL}},
volume = {3},
number = {5},
pages = {685--720},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.5.685},
doi = {10.1093/JIGPAL/3.5.685},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AndrekaBN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BenthemW95,
author = {Johan van Benthem and
Dag Westerst{\aa}hl},
title = {Directions in generalized quantifier theory},
journal = {Stud Logica},
volume = {55},
number = {3},
pages = {389--419},
year = {1995},
url = {https://doi.org/10.1007/BF01057805},
doi = {10.1007/BF01057805},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BenthemW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BenthemB94,
author = {Johan van Benthem and
Jan A. Bergstra},
title = {Logic of Transition Systems},
journal = {J. Log. Lang. Inf.},
volume = {3},
number = {4},
pages = {247--283},
year = {1994},
url = {https://doi.org/10.1007/BF01160018},
doi = {10.1007/BF01160018},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/BenthemB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BenthemES94,
author = {Johan van Benthem and
Jan van Eijck and
Vera Stebletsova},
title = {Modal Logic, Transition Systems and Processes},
journal = {J. Log. Comput.},
volume = {4},
number = {5},
pages = {811--855},
year = {1994},
url = {https://doi.org/10.1093/logcom/4.5.811},
doi = {10.1093/LOGCOM/4.5.811},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BenthemES94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Benthem93,
author = {Johan van Benthem},
title = {Modal Frame Classes Revisited},
journal = {Fundam. Informaticae},
volume = {18},
pages = {307--317},
year = {1993},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Benthem93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Benthem93,
author = {Johan van Benthem},
title = {Editorial: The Elusive Locus of Logicality},
journal = {J. Log. Comput.},
volume = {3},
number = {5},
pages = {451--453},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.5.451},
doi = {10.1093/LOGCOM/3.5.451},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Benthem93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Benthem93,
author = {Johan van Benthem},
editor = {Ruzena Bajcsy},
title = {The Logic of Cognitive Action},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial
Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
1993},
pages = {810--812},
publisher = {Morgan Kaufmann},
year = {1993},
url = {http://ijcai.org/Proceedings/93-1/Papers/113.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:33 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Benthem93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Benthem92,
author = {Johan van Benthem},
title = {Logic as programming},
journal = {Fundam. Informaticae},
volume = {17},
number = {4},
pages = {285--317},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Benthem92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Benthem92,
author = {Johan van Benthem},
editor = {Yoram Moses},
title = {Epistemic Logic: From Knowledge to Cognition},
booktitle = {Proceedings of the 4th Conference on Theoretical Aspects of Reasoning
about Knowledge, Monterey, CA, USA, March 1992},
pages = {167--168},
publisher = {Morgan Kaufmann},
year = {1992},
timestamp = {Thu, 21 Jun 2018 07:51:09 +0200},
biburl = {https://dblp.org/rec/conf/tark/Benthem92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/lib/Benthem91,
author = {Johan van Benthem},
title = {The logic of time - a model-theoretic investigation into the varieties
of temporal ontology and temporal discourse, 2nd Edition},
series = {Synthese library},
volume = {156},
publisher = {Kluwer},
year = {1991},
url = {https://www.worldcat.org/oclc/22892655},
isbn = {0792310810},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/lib/Benthem91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Benthem91,
author = {Johan van Benthem},
title = {Language in action},
journal = {J. Philos. Log.},
volume = {20},
number = {3},
pages = {225--263},
year = {1991},
url = {https://doi.org/10.1007/BF00250539},
doi = {10.1007/BF00250539},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Benthem91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Benthem91,
author = {Johan van Benthem},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {1},
number = {3},
pages = {301--304},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.3.301},
doi = {10.1093/LOGCOM/1.3.301},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Benthem91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Benthem91,
author = {Johan van Benthem},
editor = {Vijay A. Saraswat and
Kazunori Ueda},
title = {Reasoning and Programming: Analogies between Logic and Computation},
booktitle = {Logic Programming, Proceedings of the 1991 International Symposium,
San Diego, California, USA, Oct. 28 - Nov 1, 1991},
pages = {717--718},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/Benthem91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Benthem90,
author = {Johan van Benthem},
title = {Categorial grammar and type theory},
journal = {J. Philos. Log.},
volume = {19},
number = {2},
pages = {115--168},
year = {1990},
url = {https://doi.org/10.1007/BF00263539},
doi = {10.1007/BF00263539},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Benthem90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Benthem89,
author = {Johan van Benthem},
title = {Notes on Modal Definability},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {1},
pages = {20--35},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093634994},
doi = {10.1305/NDJFL/1093634994},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Benthem89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Benthem89a,
author = {Johan van Benthem},
title = {Logical Constants Across Varying Types},
journal = {Notre Dame J. Formal Log.},
volume = {30},
number = {3},
pages = {315--342},
year = {1989},
url = {https://doi.org/10.1305/ndjfl/1093635152},
doi = {10.1305/NDJFL/1093635152},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Benthem89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Benthem88,
author = {Johan van Benthem},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Time, logic and computation},
booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models
for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands,
May 30 - June 3, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {354},
pages = {1--49},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0013020},
doi = {10.1007/BFB0013020},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/Benthem88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Benthem86,
author = {Johan van Benthem},
title = {Tenses in Real Time},
journal = {Math. Log. Q.},
volume = {32},
number = {1-5},
pages = {61--72},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320108},
doi = {10.1002/MALQ.19860320108},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Benthem86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Benthem85,
author = {Johan van Benthem},
title = {The variety of consequence, according to Bolzano},
journal = {Stud Logica},
volume = {44},
number = {4},
pages = {389--403},
year = {1985},
url = {https://doi.org/10.1007/BF00370429},
doi = {10.1007/BF00370429},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Benthem85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Benthem84,
author = {Johan van Benthem},
title = {Foundations of conditional logic},
journal = {J. Philos. Log.},
volume = {13},
number = {3},
pages = {303--349},
year = {1984},
url = {https://doi.org/10.1007/BF00707429},
doi = {10.1007/BF00707429},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Benthem84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Benthem84,
author = {Johan van Benthem},
title = {Questions About Quantifiers},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {443--466},
year = {1984},
url = {https://doi.org/10.2307/2274176},
doi = {10.2307/2274176},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Benthem84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Benthem84,
author = {Johan van Benthem},
title = {Tense logic and time},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {1},
pages = {1--16},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870515},
doi = {10.1305/NDJFL/1093870515},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Benthem84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HumberstoneB83,
author = {I. L. Humberstone and
J. F. A. K. van Benthem},
title = {Halld{\'{e}}n-completeness by gluing of Kripke frames},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {4},
pages = {426--430},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870446},
doi = {10.1305/NDJFL/1093870446},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HumberstoneB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Benthem79,
author = {Johan van Benthem},
title = {Canonical Modal Logics and Ultrafilter Extensions},
journal = {J. Symb. Log.},
volume = {44},
number = {1},
pages = {1--8},
year = {1979},
url = {https://doi.org/10.2307/2273696},
doi = {10.2307/2273696},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Benthem79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Benthem78,
author = {J. F. A. K. van Benthem},
title = {Four paradoxes},
journal = {J. Philos. Log.},
volume = {7},
number = {1},
pages = {49--72},
year = {1978},
url = {https://doi.org/10.1007/BF00245920},
doi = {10.1007/BF00245920},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Benthem78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Benthem76,
author = {Johan van Benthem},
title = {Modal Reduction Principles},
journal = {J. Symb. Log.},
volume = {41},
number = {2},
pages = {301--312},
year = {1976},
url = {https://doi.org/10.1017/S0022481200051355},
doi = {10.1017/S0022481200051355},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Benthem76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Benthem76a,
author = {Johan van Benthem},
title = {Modal Formulas are Either Elementary or not sigma triangle-Elementary},
journal = {J. Symb. Log.},
volume = {41},
number = {2},
pages = {436--438},
year = {1976},
url = {https://doi.org/10.1017/S0022481200051495},
doi = {10.1017/S0022481200051495},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Benthem76a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Benthem75,
author = {Johan van Benthem},
title = {A Note on Modal Formulae and Relational Properties},
journal = {J. Symb. Log.},
volume = {40},
number = {1},
pages = {55--58},
year = {1975},
url = {https://doi.org/10.2307/2272270},
doi = {10.2307/2272270},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Benthem75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Benthem74,
author = {J. F. A. K. van Benthem},
title = {Hintikka on analyticity},
journal = {J. Philos. Log.},
volume = {3},
number = {4},
pages = {419--431},
year = {1974},
url = {https://doi.org/10.1007/BF00257484},
doi = {10.1007/BF00257484},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Benthem74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-03-22 19:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
