BibTeX records: Thomas Studer

download as .bib file

@inproceedings{DBLP:conf/atal/LuoDSL23,
  author       = {Jieting Luo and
                  Mehdi Dastani and
                  Thomas Studer and
                  Beishui Liao},
  editor       = {Noa Agmon and
                  Bo An and
                  Alessandro Ricci and
                  William Yeoh},
  title        = {What Do You Care About: Inferring Values from Emotions},
  booktitle    = {Proceedings of the 2023 International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
                  2023 - 2 June 2023},
  pages        = {2289--2291},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://dl.acm.org/doi/10.5555/3545946.3598910},
  doi          = {10.5555/3545946.3598910},
  timestamp    = {Tue, 23 May 2023 14:27:14 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/LuoDSL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clar/CachinLS23,
  author       = {Christian Cachin and
                  David Lehnherr and
                  Thomas Studer},
  editor       = {Andreas Herzig and
                  Jieting Luo and
                  Pere Pardo},
  title        = {Modal and Justification Logics for Multi-agent Systems (Invited Talk)},
  booktitle    = {Logic and Argumentation - 5th International Conference, {CLAR} 2023,
                  Hangzhou, China, September 10-12, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14156},
  pages        = {3--8},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40875-5\_1},
  doi          = {10.1007/978-3-031-40875-5\_1},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/clar/CachinLS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clar/LuoSD23,
  author       = {Jieting Luo and
                  Thomas Studer and
                  Mehdi Dastani},
  editor       = {Andreas Herzig and
                  Jieting Luo and
                  Pere Pardo},
  title        = {Providing Personalized Explanations: {A} Conversational Approach},
  booktitle    = {Logic and Argumentation - 5th International Conference, {CLAR} 2023,
                  Hangzhou, China, September 10-12, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14156},
  pages        = {121--137},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40875-5\_8},
  doi          = {10.1007/978-3-031-40875-5\_8},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/clar/LuoSD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/CachinLS23,
  author       = {Christian Cachin and
                  David Lehnherr and
                  Thomas Studer},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Synergistic Knowledge},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {552--567},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_41},
  doi          = {10.1007/978-3-031-44274-2\_41},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/CachinLS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/FaroldiRS23,
  author       = {Federico L. G. Faroldi and
                  Atefeh Rohani and
                  Thomas Studer},
  editor       = {Helle Hvid Hansen and
                  Andre Scedrov and
                  Ruy J. G. B. de Queiroz},
  title        = {Conditional Obligations in Justification Logic},
  booktitle    = {Logic, Language, Information, and Computation - 29th International
                  Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13923},
  pages        = {178--193},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-39784-4\_11},
  doi          = {10.1007/978-3-031-39784-4\_11},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/FaroldiRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-01455,
  author       = {Thomas Studer},
  title        = {The logic of temporal domination},
  journal      = {CoRR},
  volume       = {abs/2306.01455},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2306.01455},
  doi          = {10.48550/ARXIV.2306.01455},
  eprinttype    = {arXiv},
  eprint       = {2306.01455},
  timestamp    = {Mon, 12 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-01455.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-11452,
  author       = {Jieting Luo and
                  Thomas Studer and
                  Mehdi Dastani},
  title        = {Providing personalized Explanations: a Conversational Approach},
  journal      = {CoRR},
  volume       = {abs/2307.11452},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.11452},
  doi          = {10.48550/ARXIV.2307.11452},
  eprinttype    = {arXiv},
  eprint       = {2307.11452},
  timestamp    = {Wed, 26 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-11452.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-15763,
  author       = {Federico L. G. Faroldi and
                  Meghdad Ghari and
                  Eveline Lehmann and
                  Thomas Studer},
  title        = {Impossible and Conflicting Obligations in Justification Logic},
  journal      = {CoRR},
  volume       = {abs/2309.15763},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2309.15763},
  doi          = {10.48550/ARXIV.2309.15763},
  eprinttype    = {arXiv},
  eprint       = {2309.15763},
  timestamp    = {Tue, 17 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-15763.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-03627,
  author       = {Eveline Lehmann and
                  Thomas Studer},
  title        = {Belief Expansion in Subset Models},
  journal      = {CoRR},
  volume       = {abs/2310.03627},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.03627},
  doi          = {10.48550/ARXIV.2310.03627},
  eprinttype    = {arXiv},
  eprint       = {2310.03627},
  timestamp    = {Thu, 19 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-03627.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-06250,
  author       = {Jieting Luo and
                  Mehdi Dastani and
                  Thomas Studer and
                  Beishui Liao},
  title        = {What Do You Care About: Inferring Values from Emotions},
  journal      = {CoRR},
  volume       = {abs/2311.06250},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.06250},
  doi          = {10.48550/ARXIV.2311.06250},
  eprinttype    = {arXiv},
  eprint       = {2311.06250},
  timestamp    = {Wed, 15 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-06250.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LehnherrOS22,
  author       = {David Lehnherr and
                  Zoran Ognjanovic and
                  Thomas Studer},
  title        = {A logic of interactive proofs},
  journal      = {J. Log. Comput.},
  volume       = {32},
  number       = {8},
  pages        = {1645--1658},
  year         = {2022},
  url          = {https://doi.org/10.1093/logcom/exac071},
  doi          = {10.1093/LOGCOM/EXAC071},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/LehnherrOS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/StahliOS22,
  author       = {Olivier St{\"{a}}hli and
                  Thomas Ost and
                  Thomas Studer},
  editor       = {Roman Bart{\'{a}}k and
                  Fazel Keshtkar and
                  Michael Franklin},
  title        = {Development of an AI-based bioacoustic wolf monitoring system},
  booktitle    = {Proceedings of the Thirty-Fifth International Florida Artificial Intelligence
                  Research Society Conference, {FLAIRS} 2022, Hutchinson Island, Jensen
                  Beach, Florida, USA, May 15-18, 2022},
  year         = {2022},
  url          = {https://doi.org/10.32473/flairs.v35i.130552},
  doi          = {10.32473/FLAIRS.V35I.130552},
  timestamp    = {Wed, 26 Oct 2022 08:35:03 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/StahliOS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LehnherrOS22,
  author       = {David Lehnherr and
                  Zoran Ognjanovic and
                  Thomas Studer},
  editor       = {Sergei N. Art{\"{e}}mov and
                  Anil Nerode},
  title        = {A Logic of Interactive Proofs},
  booktitle    = {Logical Foundations of Computer Science - International Symposium,
                  {LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13137},
  pages        = {143--155},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-93100-1\_10},
  doi          = {10.1007/978-3-030-93100-1\_10},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lfcs/LehnherrOS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaurS21,
  author       = {Michael Baur and
                  Thomas Studer},
  title        = {Semirings of Evidence},
  journal      = {J. Log. Comput.},
  volume       = {31},
  number       = {8},
  pages        = {2084--2106},
  year         = {2021},
  url          = {https://doi.org/10.1093/logcom/exab007},
  doi          = {10.1093/LOGCOM/EXAB007},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/logcom/BaurS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/XuWS21,
  author       = {Chao Xu and
                  Yanjing Wang and
                  Thomas Studer},
  title        = {A logic of knowing why},
  journal      = {Synth.},
  volume       = {198},
  number       = {2},
  pages        = {1259--1285},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11229-019-02104-0},
  doi          = {10.1007/S11229-019-02104-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/XuWS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/RohaniS21,
  author       = {Atefeh Rohani and
                  Thomas Studer},
  editor       = {Alexandra Silva and
                  Renata Wassermann and
                  Ruy J. G. B. de Queiroz},
  title        = {Explicit Non-normal Modal Logic},
  booktitle    = {Logic, Language, Information, and Computation - 27th International
                  Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13038},
  pages        = {64--81},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88853-4\_5},
  doi          = {10.1007/978-3-030-88853-4\_5},
  timestamp    = {Wed, 07 Dec 2022 23:14:05 +0100},
  biburl       = {https://dblp.org/rec/conf/wollic/RohaniS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-04486,
  author       = {Atefeh Rohani and
                  Thomas Studer},
  title        = {Explicit non-normal modal logic},
  journal      = {CoRR},
  volume       = {abs/2108.04486},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.04486},
  eprinttype    = {arXiv},
  eprint       = {2108.04486},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-04486.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-00775,
  author       = {David Lehnherr and
                  Zoran Ognjanovic and
                  Thomas Studer},
  title        = {A logic of interactive proofs},
  journal      = {CoRR},
  volume       = {abs/2109.00775},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.00775},
  eprinttype    = {arXiv},
  eprint       = {2109.00775},
  timestamp    = {Mon, 20 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-00775.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KokkinisOS20,
  author       = {Ioannis Kokkinis and
                  Zoran Ognjanovic and
                  Thomas Studer},
  title        = {Probabilistic justification logic},
  journal      = {J. Log. Comput.},
  volume       = {30},
  number       = {1},
  pages        = {257--280},
  year         = {2020},
  url          = {https://doi.org/10.1093/logcom/exaa011},
  doi          = {10.1093/LOGCOM/EXAA011},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/KokkinisOS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BrunnlerFS20,
  author       = {Kai Br{\"{u}}nnler and
                  Dandolo Flumini and
                  Thomas Studer},
  title        = {A logic of blockchain updates},
  journal      = {J. Log. Comput.},
  volume       = {30},
  number       = {8},
  pages        = {1469--1485},
  year         = {2020},
  url          = {https://doi.org/10.1093/logcom/exaa045},
  doi          = {10.1093/LOGCOM/EXAA045},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/BrunnlerFS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SikicGOS20,
  author       = {Zvonimir Sikic and
                  Silvia Ghilezan and
                  Zoran Ognjanovic and
                  Thomas Studer},
  editor       = {Vivek Nigam and
                  Tajana Ban Kirigin and
                  Carolyn L. Talcott and
                  Joshua D. Guttman and
                  Stepan L. Kuznetsov and
                  Boon Thau Loo and
                  Mitsuhiro Okada},
  title        = {Logic and Applications - {LAP} Meeting},
  booktitle    = {Logic, Language, and Security - Essays Dedicated to Andre Scedrov
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {12300},
  pages        = {98--100},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62077-6\_8},
  doi          = {10.1007/978-3-030-62077-6\_8},
  timestamp    = {Sun, 12 Feb 2023 18:48:21 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/SikicGOS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clar/BaurS20,
  author       = {Michael Baur and
                  Thomas Studer},
  editor       = {Mehdi Dastani and
                  Huimin Dong and
                  Leon van der Torre},
  title        = {Semirings of Evidence},
  booktitle    = {Logic and Argumentation - Third International Conference, {CLAR} 2020,
                  Hangzhou, China, April 6-9, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12061},
  pages        = {42--57},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-44638-3\_3},
  doi          = {10.1007/978-3-030-44638-3\_3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/clar/BaurS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/LehmannS20,
  author       = {Eveline Lehmann and
                  Thomas Studer},
  editor       = {Sergei N. Art{\"{e}}mov and
                  Anil Nerode},
  title        = {Belief Expansion in Subset Models},
  booktitle    = {Logical Foundations of Computer Science - International Symposium,
                  {LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11972},
  pages        = {85--97},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-36755-8\_6},
  doi          = {10.1007/978-3-030-36755-8\_6},
  timestamp    = {Thu, 19 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lfcs/LehmannS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-13811,
  author       = {Thomas Studer},
  title        = {No-Go Theorems for Data Privacy},
  journal      = {CoRR},
  volume       = {abs/2005.13811},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.13811},
  eprinttype    = {arXiv},
  eprint       = {2005.13811},
  timestamp    = {Wed, 03 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-13811.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/SavicS19,
  author       = {Nenad Savic and
                  Thomas Studer},
  title        = {Relevant Justification Logic},
  journal      = {{FLAP}},
  volume       = {6},
  number       = {2},
  pages        = {397--412},
  year         = {2019},
  url          = {https://collegepublications.co.uk/ifcolog/?00031},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/SavicS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MarinkovicGOS19,
  author       = {Bojan Marinkovic and
                  Paola Glavan and
                  Zoran Ognjanovic and
                  Thomas Studer},
  title        = {A temporal epistemic logic with a non-rigid set of agents for analyzing
                  the blockchain protocol},
  journal      = {J. Log. Comput.},
  volume       = {29},
  number       = {5},
  pages        = {803--830},
  year         = {2019},
  url          = {https://doi.org/10.1093/logcom/exz007},
  doi          = {10.1093/LOGCOM/EXZ007},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/MarinkovicGOS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/MohammadiS19,
  author       = {Hamzeh Mohammadi and
                  Thomas Studer},
  editor       = {Gabriele Kern{-}Isberner and
                  Zoran Ognjanovic},
  title        = {Bayesian Confirmation and Justifications},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
                  15th European Conference, {ECSQARU} 2019, Belgrade, Serbia, September
                  18-20, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11726},
  pages        = {408--418},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29765-7\_34},
  doi          = {10.1007/978-3-030-29765-7\_34},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/MohammadiS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/MarinkovicGODS19,
  author       = {Bojan Marinkovic and
                  Paola Glavan and
                  Zoran Ognjanovic and
                  Dragan Doder and
                  Thomas Studer},
  editor       = {Gabriele Kern{-}Isberner and
                  Zoran Ognjanovic},
  title        = {Probabilistic Consensus of the Blockchain Protocol},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
                  15th European Conference, {ECSQARU} 2019, Belgrade, Serbia, September
                  18-20, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11726},
  pages        = {469--480},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29765-7\_39},
  doi          = {10.1007/978-3-030-29765-7\_39},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/MarinkovicGODS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/SavicS19,
  author       = {Nenad Savic and
                  Thomas Studer},
  editor       = {Md. Aquil Khan and
                  Amaldev Manuel},
  title        = {Public Announcements for Epistemic Models and Hypertheories},
  booktitle    = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
                  India, March 1-5, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11600},
  pages        = {64--75},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-58771-3\_7},
  doi          = {10.1007/978-3-662-58771-3\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icla/SavicS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rivf/Studer19,
  author       = {Thomas Studer},
  title        = {The Logic of Temporal Domination},
  booktitle    = {2019 {IEEE-RIVF} International Conference on Computing and Communication
                  Technologies, {RIVF} 2019, Danang, Vietnam, March 20-22, 2019},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/RIVF.2019.8713701},
  doi          = {10.1109/RIVF.2019.8713701},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rivf/Studer19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/DoderOSS19,
  author       = {Dragan Doder and
                  Zoran Ognjanovic and
                  Nenad Savic and
                  Thomas Studer},
  editor       = {Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n and
                  Yulia Zinova},
  title        = {Incomplete Information and Justifications},
  booktitle    = {Language, Logic, and Computation - 13th International Tbilisi Symposium,
                  TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13206},
  pages        = {258--278},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-98479-3\_13},
  doi          = {10.1007/978-3-030-98479-3\_13},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tbillc/DoderOSS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/LehmannS19,
  author       = {Eveline Lehmann and
                  Thomas Studer},
  editor       = {Rosalie Iemhoff and
                  Michael Moortgat and
                  Ruy J. G. B. de Queiroz},
  title        = {Subset Models for Justification Logic},
  booktitle    = {Logic, Language, Information, and Computation - 26th International
                  Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11541},
  pages        = {433--449},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-59533-6\_26},
  doi          = {10.1007/978-3-662-59533-6\_26},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/LehmannS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/MartiS18,
  author       = {Michel Marti and
                  Thomas Studer},
  editor       = {Guram Bezhanishvili and
                  Giovanna D'Agostino and
                  George Metcalfe and
                  Thomas Studer},
  title        = {The Internalized Disjunction Property for Intuitionistic Justification
                  Logic},
  booktitle    = {Advances in Modal Logic 12, proceedings of the 12th conference on
                  "Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
                  2018},
  pages        = {511--529},
  publisher    = {College Publications},
  year         = {2018},
  url          = {http://www.aiml.net/volumes/volume12/Marti-Studer.pdf},
  timestamp    = {Tue, 16 Jan 2024 17:18:03 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/MartiS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BrunnlerFS18,
  author       = {Kai Br{\"{u}}nnler and
                  Dandolo Flumini and
                  Thomas Studer},
  editor       = {Sergei N. Art{\"{e}}mov and
                  Anil Nerode},
  title        = {A Logic of Blockchain Updates},
  booktitle    = {Logical Foundations of Computer Science - International Symposium,
                  {LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10703},
  pages        = {107--119},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-72056-2\_7},
  doi          = {10.1007/978-3-319-72056-2\_7},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/BrunnlerFS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiml/2018,
  editor       = {Guram Bezhanishvili and
                  Giovanna D'Agostino and
                  George Metcalfe and
                  Thomas Studer},
  title        = {Advances in Modal Logic 12, proceedings of the 12th conference on
                  "Advances in Modal Logic," held in Bern, Switzerland, August
                  27-31, 2018},
  publisher    = {College Publications},
  year         = {2018},
  url          = {http://www.aiml.net/volumes/volume12/},
  isbn         = {978-1-84890-255-8},
  timestamp    = {Tue, 16 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/OgnjanovicSS17,
  author       = {Zoran Ognjanovic and
                  Nenad Savic and
                  Thomas Studer},
  editor       = {Alexandru Baltag and
                  Jeremy Seligman and
                  Tomoyuki Yamada},
  title        = {Justification Logic with Approximate Conditional Probabilities},
  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        = {681--686},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-55665-8\_52},
  doi          = {10.1007/978-3-662-55665-8\_52},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/OgnjanovicSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BucheliGS17,
  author       = {Samuel Bucheli and
                  Meghdad Ghari and
                  Thomas Studer},
  editor       = {Sujata Ghosh and
                  R. Ramanujam},
  title        = {Temporal Justification Logic},
  booktitle    = {Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA
                  2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January
                  2017},
  series       = {{EPTCS}},
  volume       = {243},
  pages        = {59--74},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.243.5},
  doi          = {10.4204/EPTCS.243.5},
  timestamp    = {Fri, 03 Sep 2021 15:00:18 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BucheliGS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrunnlerFS17,
  author       = {Kai Br{\"{u}}nnler and
                  Dandolo Flumini and
                  Thomas Studer},
  title        = {A Logic of Blockchain Updates},
  journal      = {CoRR},
  volume       = {abs/1707.01766},
  year         = {2017},
  url          = {http://arxiv.org/abs/1707.01766},
  eprinttype    = {arXiv},
  eprint       = {1707.01766},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BrunnlerFS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/MartiS16,
  author       = {Michel Marti and
                  Thomas Studer},
  title        = {Intuitionistic Modal Logic made Explicit},
  journal      = {{FLAP}},
  volume       = {3},
  number       = {5},
  pages        = {877--902},
  year         = {2016},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00009.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/MartiS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KuznetsS16,
  author       = {Roman Kuznets and
                  Thomas Studer},
  title        = {Weak arithmetical interpretations for the Logic of Proofs},
  journal      = {Log. J. {IGPL}},
  volume       = {24},
  number       = {3},
  pages        = {424--440},
  year         = {2016},
  url          = {https://doi.org/10.1093/jigpal/jzw002},
  doi          = {10.1093/JIGPAL/JZW002},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/igpl/KuznetsS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KokkinisOS16,
  author       = {Ioannis Kokkinis and
                  Zoran Ognjanovic and
                  Thomas Studer},
  editor       = {Sergei N. Art{\"{e}}mov and
                  Anil Nerode},
  title        = {Probabilistic Justification Logic},
  booktitle    = {Logical Foundations of Computer Science - International Symposium,
                  {LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9537},
  pages        = {174--186},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-27683-0\_13},
  doi          = {10.1007/978-3-319-27683-0\_13},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/KokkinisOS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MartiS16,
  author       = {Michel Marti and
                  Thomas Studer},
  title        = {Modular Models for Intuitionistic Justification Logic},
  journal      = {CoRR},
  volume       = {abs/1604.07181},
  year         = {2016},
  url          = {http://arxiv.org/abs/1604.07181},
  eprinttype    = {arXiv},
  eprint       = {1604.07181},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MartiS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KokkinisMOS15,
  author       = {Ioannis Kokkinis and
                  Petar Maksimovic and
                  Zoran Ognjanovic and
                  Thomas Studer},
  title        = {First steps towards probabilistic justification logic},
  journal      = {Log. J. {IGPL}},
  volume       = {23},
  number       = {4},
  pages        = {662--687},
  year         = {2015},
  url          = {https://doi.org/10.1093/jigpal/jzv025},
  doi          = {10.1093/JIGPAL/JZV025},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/KokkinisMOS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Studer15,
  author       = {Thomas Studer},
  title        = {Justification logic enjoys the strong finite model property},
  journal      = {CoRR},
  volume       = {abs/1506.06933},
  year         = {2015},
  url          = {http://arxiv.org/abs/1506.06933},
  eprinttype    = {arXiv},
  eprint       = {1506.06933},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Studer15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AlberucciKS14,
  author       = {Luca Alberucci and
                  J{\"{u}}rg Kr{\"{a}}henb{\"{u}}hl and
                  Thomas Studer},
  title        = {Justifying induction on modal {\(\mu\)}-formulae},
  journal      = {Log. J. {IGPL}},
  volume       = {22},
  number       = {6},
  pages        = {805--817},
  year         = {2014},
  url          = {https://doi.org/10.1093/jigpal/jzu001},
  doi          = {10.1093/JIGPAL/JZU001},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/AlberucciKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BucheliKS14,
  author       = {Samuel Bucheli and
                  Roman Kuznets and
                  Thomas Studer},
  title        = {Realizing public announcements by justifications},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {80},
  number       = {6},
  pages        = {1046--1066},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.jcss.2014.04.001},
  doi          = {10.1016/J.JCSS.2014.04.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BucheliKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdp/StuderW14,
  author       = {Thomas Studer and
                  Johannes Werner},
  title        = {Censors for Boolean Description Logic},
  journal      = {Trans. Data Priv.},
  volume       = {7},
  number       = {3},
  pages        = {223--252},
  year         = {2014},
  url          = {http://www.tdp.cat/issues11/abs.a138a13.php},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tdp/StuderW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Studer13,
  author       = {Thomas Studer},
  title        = {Decidability for some justification logics with negative introspection},
  journal      = {J. Symb. Log.},
  volume       = {78},
  number       = {2},
  pages        = {388--402},
  year         = {2013},
  url          = {https://doi.org/10.2178/jsl.7802030},
  doi          = {10.2178/JSL.7802030},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Studer13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Studer13,
  author       = {Thomas Studer},
  title        = {A Universal Approach to Guarantee Data Privacy},
  journal      = {Logica Universalis},
  volume       = {7},
  number       = {2},
  pages        = {195--209},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11787-012-0060-y},
  doi          = {10.1007/S11787-012-0060-Y},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lu/Studer13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KuznetsS13,
  author       = {Roman Kuznets and
                  Thomas Studer},
  editor       = {Sergei N. Art{\"{e}}mov and
                  Anil Nerode},
  title        = {Update as Evidence: Belief Expansion},
  booktitle    = {Logical Foundations of Computer Science, International Symposium,
                  {LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7734},
  pages        = {266--279},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35722-0\_19},
  doi          = {10.1007/978-3-642-35722-0\_19},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/KuznetsS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BrunnlerS12,
  author       = {Kai Br{\"{u}}nnler and
                  Thomas Studer},
  title        = {Syntactic cut-elimination for a fragment of the modal mu-calculus},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {163},
  number       = {12},
  pages        = {1838--1853},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.apal.2012.04.006},
  doi          = {10.1016/J.APAL.2012.04.006},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BrunnlerS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KuznetsS12,
  author       = {Roman Kuznets and
                  Thomas Studer},
  editor       = {Thomas Bolander and
                  Torben Bra{\"{u}}ner and
                  Silvio Ghilardi and
                  Lawrence S. Moss},
  title        = {Justifications, Ontology, and Conservativity},
  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        = {437--458},
  publisher    = {College Publications},
  year         = {2012},
  url          = {http://www.aiml.net/volumes/volume9/Kuznets-Studer.pdf},
  timestamp    = {Wed, 17 Jan 2024 09:57:06 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/KuznetsS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-3501,
  author       = {Grigori Mints and
                  Thomas Studer},
  editor       = {Dale Miller and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Cut-elimination for the mu-calculus with one variable},
  booktitle    = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
                  2012, Tallinn, Estonia, 24th March 2012},
  series       = {{EPTCS}},
  volume       = {77},
  pages        = {47--54},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.77.7},
  doi          = {10.4204/EPTCS.77.7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-3501.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BucheliKS11,
  author       = {Samuel Bucheli and
                  Roman Kuznets and
                  Thomas Studer},
  title        = {Justifications for common knowledge},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {21},
  number       = {1},
  pages        = {35--60},
  year         = {2011},
  url          = {https://doi.org/10.3166/jancl.21.35-60},
  doi          = {10.3166/JANCL.21.35-60},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BucheliKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/JagerS11,
  author       = {Gerhard J{\"{a}}ger and
                  Thomas Studer},
  title        = {A Buchholz Rule for Modal Fixed Point Logics},
  journal      = {Logica Universalis},
  volume       = {5},
  number       = {1},
  pages        = {1--19},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11787-010-0022-1},
  doi          = {10.1007/S11787-010-0022-1},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lu/JagerS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cis/Studer11,
  author       = {Thomas Studer},
  editor       = {Yuping Wang and
                  Yiu{-}ming Cheung and
                  Ping Guo and
                  Yingbin Wei},
  title        = {An Application of Justification Logic to Protocol Verification},
  booktitle    = {Seventh International Conference on Computational Intelligence and
                  Security, {CIS} 2011, Sanya, Hainan, China, December 3-4, 2011},
  pages        = {779--783},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/CIS.2011.177},
  doi          = {10.1109/CIS.2011.177},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cis/Studer11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Studer11,
  author       = {Thomas Studer},
  editor       = {Edmund M. Clarke and
                  Irina B. Virbitskaite and
                  Andrei Voronkov},
  title        = {Justified Terminological Reasoning},
  booktitle    = {Perspectives of Systems Informatics - 8th International Andrei Ershov
                  Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
                  1, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7162},
  pages        = {349--361},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29709-0\_30},
  doi          = {10.1007/978-3-642-29709-0\_30},
  timestamp    = {Mon, 16 Dec 2019 13:26:25 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/Studer11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/BucheliKS11,
  author       = {Samuel Bucheli and
                  Roman Kuznets and
                  Thomas Studer},
  editor       = {Guram Bezhanishvili and
                  Sebastian L{\"{o}}bner and
                  Vincenzo Marra and
                  Frank Richter},
  title        = {Decidability for Justification Logics Revisited},
  booktitle    = {Logic, Language, and Computation - 9th International Tbilisi Symposium
                  on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia,
                  September 26-30, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7758},
  pages        = {166--181},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-36976-6\_12},
  doi          = {10.1007/978-3-642-36976-6\_12},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/tbillc/BucheliKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BucheliKS11,
  author       = {Samuel Bucheli and
                  Roman Kuznets and
                  Thomas Studer},
  editor       = {Lev D. Beklemishev and
                  Ruy J. G. B. de Queiroz},
  title        = {Partial Realization in Dynamic Justification Logic},
  booktitle    = {Logic, Language, Information and Computation - 18th International
                  Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6642},
  pages        = {35--51},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20920-8\_9},
  doi          = {10.1007/978-3-642-20920-8\_9},
  timestamp    = {Tue, 01 Jun 2021 15:22:31 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/BucheliKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-0484,
  author       = {Samuel Bucheli and
                  Roman Kuznets and
                  Thomas Studer},
  title        = {Explicit Evidence Systems with Common Knowledge},
  journal      = {CoRR},
  volume       = {abs/1005.0484},
  year         = {2010},
  url          = {http://arxiv.org/abs/1005.0484},
  eprinttype    = {arXiv},
  eprint       = {1005.0484},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1005-0484.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BrunnlerS09,
  author       = {Kai Br{\"{u}}nnler and
                  Thomas Studer},
  title        = {Syntactic cut-elimination for common knowledge},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {160},
  number       = {1},
  pages        = {82--95},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.apal.2009.01.014},
  doi          = {10.1016/J.APAL.2009.01.014},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BrunnlerS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Studer09,
  author       = {Thomas Studer},
  title        = {Common knowledge does not have the Beth property},
  journal      = {Inf. Process. Lett.},
  volume       = {109},
  number       = {12},
  pages        = {611--614},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.ipl.2009.02.011},
  doi          = {10.1016/J.IPL.2009.02.011},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipl/Studer09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Studer09,
  author       = {Thomas Studer},
  editor       = {Amir Pnueli and
                  Irina B. Virbitskaite and
                  Andrei Voronkov},
  title        = {Privacy Preserving Modules for Ontologies},
  booktitle    = {Perspectives of Systems Informatics, 7th International Andrei Ershov
                  Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
                  2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5947},
  pages        = {380--387},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11486-1\_32},
  doi          = {10.1007/978-3-642-11486-1\_32},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Studer09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/StouppaS09,
  author       = {Phiniki Stouppa and
                  Thomas Studer},
  editor       = {Sergei N. Art{\"{e}}mov and
                  Anil Nerode},
  title        = {Data Privacy for Knowledge Bases},
  booktitle    = {Logical Foundations of Computer Science, International Symposium,
                  {LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5407},
  pages        = {409--421},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-540-92687-0\_28},
  doi          = {10.1007/978-3-540-92687-0\_28},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/StouppaS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BucheliKS10,
  author       = {Samuel Bucheli and
                  Roman Kuznets and
                  Thomas Studer},
  editor       = {Thomas Bolander and
                  Torben Bra{\"{u}}ner},
  title        = {Two Ways to Common Knowledge},
  booktitle    = {Proceedings of the 6th Workshop on Methods for Modalities, {M4M-6}
                  2009, Copenhagen, Denmark, November 12-14, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {262},
  pages        = {83--98},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2010.04.007},
  doi          = {10.1016/J.ENTCS.2010.04.007},
  timestamp    = {Thu, 09 Mar 2023 15:44:25 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BucheliKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JagerKS08,
  author       = {Gerhard J{\"{a}}ger and
                  Mathis Kretz and
                  Thomas Studer},
  title        = {Canonical completeness of infinitary mu},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {76},
  number       = {2},
  pages        = {270--292},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.jlap.2008.02.005},
  doi          = {10.1016/J.JLAP.2008.02.005},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/JagerKS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BrunnlerPS08,
  author       = {Kai Br{\"{u}}nnler and
                  Dieter Probst and
                  Thomas Studer},
  title        = {On contraction and the modal fragment},
  journal      = {Math. Log. Q.},
  volume       = {54},
  number       = {4},
  pages        = {345--349},
  year         = {2008},
  url          = {https://doi.org/10.1002/malq.200710043},
  doi          = {10.1002/MALQ.200710043},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/BrunnlerPS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Studer08,
  author       = {Thomas Studer},
  title        = {On the Proof Theory of the Modal mu-Calculus},
  journal      = {Stud Logica},
  volume       = {89},
  number       = {3},
  pages        = {343--363},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11225-008-9133-6},
  doi          = {10.1007/S11225-008-9133-6},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Studer08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/JagerKS07,
  author       = {Gerhard J{\"{a}}ger and
                  Mathis Kretz and
                  Thomas Studer},
  title        = {Cut-free common knowledge},
  journal      = {J. Appl. Log.},
  volume       = {5},
  number       = {4},
  pages        = {681--689},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.jal.2006.02.003},
  doi          = {10.1016/J.JAL.2006.02.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/JagerKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/KottmannS07,
  author       = {Norbert Kottmann and
                  Thomas Studer},
  editor       = {Roland R. Wagner and
                  Norman Revell and
                  G{\"{u}}nther Pernul},
  title        = {Improving Semantic Query Answering},
  booktitle    = {Database and Expert Systems Applications, 18th International Conference,
                  {DEXA} 2007, Regensburg, Germany, September 3-7, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4653},
  pages        = {671--679},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74469-6\_65},
  doi          = {10.1007/978-3-540-74469-6\_65},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/dexa/KottmannS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/SteinerS07,
  author       = {David Steiner and
                  Thomas Studer},
  editor       = {Sergei N. Art{\"{e}}mov and
                  Anil Nerode},
  title        = {Total Public Announcements},
  booktitle    = {Logical Foundations of Computer Science, International Symposium,
                  {LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4514},
  pages        = {498--511},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72734-7\_35},
  doi          = {10.1007/978-3-540-72734-7\_35},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/SteinerS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrunnlerS09,
  author       = {Kai Br{\"{u}}nnler and
                  Thomas Studer},
  editor       = {Carlos Areces and
                  St{\'{e}}phane Demri},
  title        = {Syntactic Cut-elimination for Common Knowledge},
  booktitle    = {Proceedings of the 5th Workshop on Methods for Modalities, {M4M} 2007,
                  Cachan, France, November 29-30, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {231},
  pages        = {227--240},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.038},
  doi          = {10.1016/J.ENTCS.2009.02.038},
  timestamp    = {Mon, 27 Feb 2023 09:39:46 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BrunnlerS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/KretzS06,
  author       = {Mathis Kretz and
                  Thomas Studer},
  title        = {Deduction chains for common knowledge},
  journal      = {J. Appl. Log.},
  volume       = {4},
  number       = {3},
  pages        = {331--357},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.jal.2005.06.011},
  doi          = {10.1016/J.JAL.2005.06.011},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/japll/KretzS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/StouppaS06,
  author       = {Phiniki Stouppa and
                  Thomas Studer},
  editor       = {Irina B. Virbitskaite and
                  Andrei Voronkov},
  title        = {A Formal Model of Data Privacy},
  booktitle    = {Perspectives of Systems Informatics, 6th International Andrei Ershov
                  Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30,
                  2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4378},
  pages        = {400--408},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-70881-0\_34},
  doi          = {10.1007/978-3-540-70881-0\_34},
  timestamp    = {Mon, 16 Dec 2019 13:26:25 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/StouppaS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Studer05,
  author       = {Thomas Studer},
  title        = {Explicit mathematics: power types and overloading},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {134},
  number       = {2-3},
  pages        = {284--302},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.apal.2004.12.002},
  doi          = {10.1016/J.APAL.2004.12.002},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Studer05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/StoffelS05,
  author       = {Kilian Stoffel and
                  Thomas Studer},
  editor       = {Kim Viborg Andersen and
                  John K. Debenham and
                  Roland R. Wagner},
  title        = {Provable Data Privacy},
  booktitle    = {Database and Expert Systems Applications, 16th International Conference,
                  {DEXA} 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3588},
  pages        = {324--332},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11546924\_32},
  doi          = {10.1007/11546924\_32},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dexa/StoffelS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/DurigS05,
  author       = {Michael D{\"{u}}rig and
                  Thomas Studer},
  editor       = {Ian Horrocks and
                  Ulrike Sattler and
                  Frank Wolter},
  title        = {Probabilistic ABox Reasoning: Preliminary Results},
  booktitle    = {Proceedings of the 2005 International Workshop on Description Logics
                  (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {147},
  publisher    = {CEUR-WS.org},
  year         = {2005},
  url          = {https://ceur-ws.org/Vol-147/10-studer.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/DurigS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/JagerS02,
  author       = {Gerhard J{\"{a}}ger and
                  Thomas Studer},
  title        = {Extending the system T\({}_{\mbox{0}}\) of explicit mathematics: the
                  limit and Mahlo axioms},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {114},
  number       = {1-3},
  pages        = {79--101},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0168-0072(01)00076-8},
  doi          = {10.1016/S0168-0072(01)00076-8},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/JagerS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/JargerKS01,
  author       = {Gerhard J{\"{a}}ger and
                  Reinhard Kahle and
                  Thomas Studer},
  title        = {Universes in explicit mathematics},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {109},
  number       = {3},
  pages        = {141--162},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(00)00057-9},
  doi          = {10.1016/S0168-0072(00)00057-9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/JargerKS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KahleS01,
  author       = {Reinhard Kahle and
                  Thomas Studer},
  title        = {Formalizing non-termination of recursive programs},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {49},
  number       = {1-2},
  pages        = {1--14},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1567-8326(01)00006-6},
  doi          = {10.1016/S1567-8326(01)00006-6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/KahleS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Studer01,
  author       = {Thomas Studer},
  title        = {A Semantics for [lambda]: a Calculus with Overloading and Late-binding},
  journal      = {J. Log. Comput.},
  volume       = {11},
  number       = {4},
  pages        = {527--544},
  year         = {2001},
  url          = {https://doi.org/10.1093/logcom/11.4.527},
  doi          = {10.1093/LOGCOM/11.4.527},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Studer01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ProbstS01,
  author       = {Dieter Probst and
                  Thomas Studer},
  title        = {How to normalize the Jay},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {677--681},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00379-0},
  doi          = {10.1016/S0304-3975(00)00379-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ProbstS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Studer01,
  author       = {Thomas Studer},
  editor       = {Reinhard Kahle and
                  Peter Schroeder{-}Heister and
                  Robert F. St{\"{a}}rk},
  title        = {Constructive Foundations for Featherweight Java},
  booktitle    = {Proof Theory in Computer Science, International Seminar, {PTCS} 2001,
                  Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2183},
  pages        = {202--238},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45504-3\_13},
  doi          = {10.1007/3-540-45504-3\_13},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Studer01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KahleS00,
  author       = {Reinhard Kahle and
                  Thomas Studer},
  editor       = {Peter Clote and
                  Helmut Schwichtenberg},
  title        = {A Theory of Explicit Mathematics Equivalent to ID\({}_{\mbox{1}}\)},
  booktitle    = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
                  Germany, August 21-26, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1862},
  pages        = {356--370},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44622-2\_24},
  doi          = {10.1007/3-540-44622-2\_24},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/KahleS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics