The logic of tasks

DOI10.1016/S0168-0072(01)00123-3MaRDI QIDQ1849860zbMATH OpenFDO

Authors Giorgi Japaridze

Publication date 2 December 2002

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

Full work available at URL https://doi.org/10.1016/S0168-0072(01)00123-3

zbMATH Keywords

game logicssubstructural logicstask semantics

Mathematics Subject Classification ID

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

Recommendations

• The propositional logic of elementary tasks
• scientific article; zbMATH DE number 1499111
• scientific article; zbMATH DE number 1740317
• Generating plans in linear logic. I: Actions as proofs
• scientific article; zbMATH DE number 18649

Cites work

• A constructive game semantics for the language of linear logic
• A game semantics for linear logic
• A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic
• A syntactic theory of belief and action
• Dialogspiele als Semantische Grundlage von Logikkalkülen
• Dialogues, strategies, and intuitionistic provability
• Games and full completeness for multiplicative linear logic
• scientific article; zbMATH DE number 3700784 (Why is no real title available?)
• scientific article; zbMATH DE number 1740317 (Why is no real title available?)
• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 3190338 (Why is no real title available?)
• Linear logic

Cited in

(4)

• The propositional logic of elementary tasks
• Kripke semantics for the logic of problems and propositions
• scientific article; zbMATH DE number 1740317 (Why is no real title available?)
• A simple token game and its logic

This page was built for publication: The logic of tasks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1849860)