The logic of tasks (Q1849860): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Games and full completeness for multiplicative linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A game semantics for linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dialogues, strategies, and intuitionistic provability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A syntactic theory of belief and action / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3893889 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A constructive game semantics for the language of linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4330857 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dialogspiele als Semantische Grundlage von Logikkalkülen / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5726697 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5633670 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4843187 / rank
 
Normal rank

Latest revision as of 19:02, 4 June 2024

scientific article
Language Label Description Also known as
English
The logic of tasks
scientific article

    Statements

    The logic of tasks (English)
    0 references
    0 references
    2 December 2002
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    game logics
    0 references
    substructural logics
    0 references
    task semantics
    0 references