scientific article

zbMath0751.68067MaRDI QIDQ4013820

John Perry, David J. Israel, Syun Tutiya

Publication date: 27 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

dynamic logic of programslogic of accomplishmenttheory of intelligent action

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic of natural languages (03B65)

Related Items (3)

Collaborative plans for complex group action ⋮ Unnamed Item ⋮ A logic of intention and attempt

This page was built for publication: