The logic of tasks

DOI10.1016/S0168-0072(01)00123-3zbMath1013.03017MaRDI QIDQ1849860

Giorgi Japaridze

Publication date: 2 December 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

substructural logicsgame logicstask semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Kripke semantics for the logic of problems and propositions

Cites Work

• Linear logic
• Dialogues, strategies, and intuitionistic provability
• A syntactic theory of belief and action
• A game semantics for linear logic
• A constructive game semantics for the language of linear logic
• A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic
• Games and full completeness for multiplicative linear logic
• Dialogspiele als Semantische Grundlage von Logikkalkülen
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The logic of tasks