Reasoning about graded strategy quantifiers
type: Item
instance of: scholarly article
title: Reasoning about graded strategy quantifiers
zbMATH Open document ID: 1390.68612
author: Vadim Malvone
author: Fabio Mogavero
author: Aniello Murano
author: Loredana Sorrentino
published in: Information and Computation
publication date: 2018-03-21T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T42
Mathematics Subject Classification ID: 91A06
zbMATH DE Number: 6851698
zbMATH Keywords: strategic reasoning
zbMATH Keywords: strategy logic
zbMATH Keywords: counting quantifiers
describes a project that uses: MCMAS-SLK
describes a project that uses: MCMAS
MaRDI profile type: Publication
full work available at URL: j.ic.2017.08.010
OpenAlex ID: W2767103995
cites work: Q3336675
cites work: Q3940830
cites work: “Sometimes” and “not never” revisited
cites work: Q3703299
cites work: Q2733893
cites work: Module checking
cites work: Pushdown module checking with imperfect information
cites work: Alternating-time temporal logic
cites work: Strategy Logic
cites work: Reasoning about strategies
cites work: Graded computation tree logic
cites work: In so many possible worlds
cites work: The complexity of finite model reasoning in description logics
cites work: Q4809076
cites work: Model Checking for Graded CTL
cites work: Graded Computation Tree Logic with Binary Coding
cites work: On CTL* with Graded Path Modalities
cites work: Enriched MU-Calculi Module Checking
cites work: Graded Alternating-Time Temporal Logic
cites work: What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
cites work: Mutation-selection equilibrium in games with multiple strategies
cites work: Q5339289
cites work: Formal verification of parallel programs
cites work: Reasoning About Strategies
cites work: Borel determinacy
cites work: Q5317419
cites work: Q3141916
cites work: Q4722064
cites work: Number of quantifiers is better than number of tape cells
cites work: Q5311048
cites work: Q3999542
cites work: mcmas: A Model Checker for Multi-agent Systems
cites work: ATL with Strategy Contexts and Bounded Memory
cites work: ATL with strategy contexts: expressiveness and model checking
cites work: On Promptness in Parity Games
cites work: A Behavioral Hierarchy of Strategy Logic
DOI: 10.1016/J.IC.2017.08.010
description: scientific article; zbMATH DE number 6851698