Q3384085 (Q3384085): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 12:18, 27 July 2024

scientific article

Language	Label	Description	Also known as
English	No label defined	scientific article

Statements

scholarly article

0 references

0 references

0 references

publication date

14 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1707.08759

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.32

0 references

MaRDI profile type

MaRDI publication profile

0 references

Group announcement logic

0 references

Reasoning about coalitional games

0 references

Alternating-time temporal logic

0 references

0 references

0 references

Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications

0 references

On the logic of cooperation and propositional control

0 references

Constructive knowledge: what agents can achieve under imperfect information

0 references

0 references

Calculus of cooperation and game-based reasoning about protocol privacy

0 references

Together we know how to achieve: an epistemic logic of know-how

0 references

A Modal Logic for Coalitional Power in Games

0 references

Games in Dynamic-Epistemic Logic

0 references

A logic of goal-directed knowing how

0 references

A Logic of Knowing How

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3384085

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3384085&oldid=36749935"