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
    0 references
    0 references
    23 October 2007
    0 references
    multi-agent systems
    0 references
    cooperation logic
    0 references
    logics for control
    0 references

    Identifiers