The logic of tasks
From MaRDI portal
Publication:1849860
DOI10.1016/S0168-0072(01)00123-3zbMath1013.03017MaRDI QIDQ1849860
Publication date: 2 December 2002
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
03B70: Logic in computer science
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
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