The modal logics of the poison game
type: Item
instance of: scholarly article
title: The modal logics of the poison game
zbMATH Open document ID: 1547.03166
DOI: 10.1007/978-981-15-2221-5_1
author: Francesca Zaffora Blando
author: Krzysztof Mierzewski
author: Carlos Areces
publication date: 2024-09-11T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B80
Mathematics Subject Classification ID: 91A05
zbMATH DE Number: 7910440
MaRDI profile type: MaRDI publication profile
cites work: THE EXPRESSIVE POWER OF MEMORY LOGICS
cites work: Relation-changing modal operators: Fig. 1.
cites work: Sabotage Modal Logic: Some Model and Proof Theoretic Aspects
cites work: Modal logics of sabotage revisited
cites work: Mechanizing Mathematical Reasoning
cites work: Q5404483
cites work: Hybrid languages
cites work: Kernels in directed graphs: A poison game
cites work: An application of games to the completeness problem for formalized theories
cites work: Q3230355
cites work: Q5666510
cites work: Q3098780
cites work: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
cites work: Mathematical Foundations of Computer Science 2003
cites work: Q3229402
cites work: Q4536329
description: scientific article; zbMATH DE number 7910440