The logic of tasks
β
Giorgi Japaridze
π
Article
π
2002
π
Elsevier Science
π
English
β 230 KB
The paper introduces a semantics for the language of classical ΓΏrst order logic supplemented with the additional operators and l. This semantics understands formulas as tasks. An agent (say, a machine or a robot), working as a slave for its master (say, the user or the environment), can carry out th