export record
dblp key:
journals/corr/abs-2307-05057 share record
persistent URL:
Armando Castañeda , Hans van Ditmarsch , David A. Rosenblueth , Diego A. Velázquez : Comparing the Update Expressivity of Communication Patterns and Action Models. TARK 2023 : 157-172 export record
dblp key:
journals/corr/abs-2307-05059 share record
persistent URL:
James Fox , Matt MacDermott , Lewis Hammond , Paul Harrenstein , Alessandro Abate , Michael J. Wooldridge : On Imperfect Recall in Multi-Agent Influence Diagrams. TARK 2023 : 201-220 export record
dblp key:
journals/corr/abs-2307-05060 share record
persistent URL:
Rustam Galimullin , Louwe B. Kuijer : Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ1 1 -hard. TARK 2023 : 260-271 export record
dblp key:
journals/corr/abs-2307-05061 share record
persistent URL:
Robert Ganian , Thekla Hamm , Dusan Knop , Sanjukta Roy , Simon Schierreich , Ondrej Suchý : Maximizing Social Welfare in Score-Based Social Distance Games. TARK 2023 : 272-286 export record
dblp key:
journals/corr/abs-2307-05062 share record
persistent URL:
Marco Garapa , Eduardo Fermé , Maurício D. Luís Reis : System of Spheres-based Two Level Credibility-limited Revisions. TARK 2023 : 287-298 export record
dblp key:
journals/corr/abs-2307-05063 share record
persistent URL:
Emmanuel J. Genot : A "Game of Like" : Online Social Network Sharing As Strategic Interaction. TARK 2023 : 299-307 export record
dblp key:
journals/corr/abs-2307-05064 share record
persistent URL:
Peter Hawke : An Acceptance Semantics for Stable Modal Knowledge. TARK 2023 : 331-343 export record
dblp key:
journals/corr/abs-2307-05065 share record
persistent URL:
Saira Khan : Metatickles and Death in Damascus. TARK 2023 : 359-378 export record
dblp key:
journals/corr/abs-2307-05066 share record
persistent URL:
Yanjun Li : Tableaux for the Logic of Strategically Knowing How. TARK 2023 : 379-391 export record
dblp key:
journals/corr/abs-2307-05067 share record
persistent URL:
Daniel Miedema , Malvin Gattinger : Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic. TARK 2023 : 407-420 export record
dblp key:
journals/corr/abs-2307-05068 share record
persistent URL:
Caspar Oesterheld , Abram Demski , Vincent Conitzer : A Theory of Bounded Inductive Rationality. TARK 2023 : 421-440 export record
dblp key:
journals/corr/abs-2307-05069 share record
persistent URL:
Panagiotis Papadamos , Nina Gierasimczuk : Cognitive Bias and Belief Revision. TARK 2023 : 441-454 export record
dblp key:
journals/corr/abs-2307-05070 share record
persistent URL:
Aldo Ivnn Ramírez Abarca : A Logic-Based Analysis of Responsibility. TARK 2023 : 470-486 export record
dblp key:
journals/corr/abs-2307-05071 share record
persistent URL:
Bernard Sinclair-Desgagné : Mining for Unknown Unknowns. TARK 2023 : 507-517 export record
dblp key:
journals/corr/abs-2307-05072 share record
persistent URL:
Minkyung Wang , Chisu Kim : Aggregating Credences into Beliefs: Agenda Conditions for Impossibility Results. TARK 2023 : 518-526 export record
dblp key:
journals/corr/abs-2307-05073 share record
persistent URL:
Yuanzhe Yang : Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract). TARK 2023 : 527-544 export record
dblp key:
journals/corr/abs-2307-05076 share record
persistent URL:
David Hyland , Julian Gutierrez , Michael J. Wooldridge : Incentive Engineering for Concurrent Games. TARK 2023 : 344-358 export record
dblp key:
journals/corr/abs-2307-05078 share record
persistent URL:
Ronen Gradwohl , Moshe Tennenholtz : Selling Data to a Competitor (Extended Abstract). TARK 2023 : 318-330 export record
dblp key:
journals/corr/abs-2307-05629 share record
persistent URL:
Giacomo Bonanno : Characterization of AGM Belief Contraction in Terms of Conditionals. TARK 2023 : 142-156 export record
dblp key:
journals/corr/abs-2307-05630 share record
persistent URL:
Nicodemo De Vito : Complete Conditional Type Structures (Extended Abstract). TARK 2023 : 173-184 export record
dblp key:
journals/corr/abs-2307-05631 share record
persistent URL:
Yiwen Ding , Krishna Manoorkar , Apostolos Tzimoulis , Ruoding Wang , Xiaolong Wang : Causal Kripke Models. TARK 2023 : 185-200 export record
dblp key:
journals/corr/abs-2307-05632 share record
persistent URL:
Jeremy Goodman , Bernhard Salow : Belief Revision from Probability. TARK 2023 : 308-317 export record
dblp key:
journals/corr/abs-2307-07448 share record
persistent URL:
Farid Arthaud , Martin C. Rinard : Depth-bounded Epistemic Logic. TARK 2023 : 46-65 export record
dblp key:
journals/corr/abs-2307-07562 share record
persistent URL:
Krzysztof R. Apt , Sunil Simon : Iterated Elimination of Weakly Dominated Strategies in Well-Founded Games. TARK 2023 : 16-30 export record
dblp key:
journals/corr/abs-2307-07563 share record
persistent URL:
Adam Bjorndahl , Joseph Y. Halpern : Sequential Language-based Decisions. TARK 2023 : 131-141 export record
dblp key:
journals/corr/abs-2307-08442 share record
persistent URL:
Sebastian Forster , Antonis Skarlatos , Tijn de Vos : Fast Algorithms for Energy Games in Special Cases. GandALF 2023 : 236-252 export record
dblp key:
journals/corr/abs-2307-10095 share record
persistent URL:
Patrick Roy , John van de Wetering , Lia Yeh : The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality. QPL 2023 : 142-170 export record
dblp key:
journals/corr/abs-2307-11136 share record
persistent URL:
Alex Townsend-Teague , Julio Carlos Magdalena de la Fuente , Markus S. Kesselring : Floquetifying the Colour Code. QPL 2023 : 265-303 export record
dblp key:
journals/corr/abs-2307-16700 share record
persistent URL:
Giovanni Pighizzini , Luca Prigioniero : Forgetting 1-Limited Automata. NCMA 2023 : 95-109 export record
dblp key:
journals/corr/abs-2308-04518 share record
persistent URL:
Andrew Lewis-Smith : A Kripke Semantics for Hajek's BL. AMSLO@ESSLLI 2023 : 20-31