On the logic of cooperation and propositional control (Q2457673): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4003461 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Alternating-time temporal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2744124 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the logic of ability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3867808 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4385542 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4733384 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: STRIPS: A new approach to the application of theorem proving to problem solving / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3773852 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4016548 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4525781 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The deliberative stit: A study of action, omission, ability, and obligation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5604443 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3576736 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3221403 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Modal Logic for Coalitional Power in Games / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4739288 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5311048 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bringing it about / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Getting started: Beginnings in the logic of action / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2771059 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2756785 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The cooperative problem-solving process / rank | |||
Normal rank |
Latest revision as of 10:41, 27 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the logic of cooperation and propositional control |
scientific article |
Statements
On the logic of cooperation and propositional control (English)
0 references
23 October 2007
0 references
multi-agent systems
0 references
cooperation logic
0 references
logics for control
0 references
0 references