Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-05629
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-05629
Giacomo Bonanno:
Characterization of AGM Belief Contraction in Terms of Conditionals. TARK 2023: 142-156
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-05630
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-05630
Nicodemo De Vito:
Complete Conditional Type Structures (Extended Abstract). TARK 2023: 173-184
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-05631
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-05631
Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang, Xiaolong Wang:
Causal Kripke Models. TARK 2023: 185-200
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-05632
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-05632
Jeremy Goodman, Bernhard Salow:
Belief Revision from Probability. TARK 2023: 308-317
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-07448
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-07448
Farid Arthaud, Martin C. Rinard:
Depth-bounded Epistemic Logic. TARK 2023: 46-65
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-07562
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-07562
Krzysztof R. Apt, Sunil Simon:
Iterated Elimination of Weakly Dominated Strategies in Well-Founded Games. TARK 2023: 16-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-07563
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-07563
Adam Bjorndahl, Joseph Y. Halpern:
Sequential Language-based Decisions. TARK 2023: 131-141
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-04005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-04005
Rineke Verbrugge:
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023. EPTCS 379, 2023 [contents]