Conciseness Considerations on Logics of Action 1
Costas D. Koutras, Athena Gaga, Pavlos Peppas · 2004
In recent years a number of formal results have been established on the correctness of some well-known logics of actions. Correctness however is only one side of the coin; for a theory of action to qualify as a solution to the frame problem, the conciseness of its representations is also relevant. In a previous paper, [15], we developed a general framework within which logics of action can be assessed both in terms of correctness as well as conciseness. Herein we apply the results obtained in [15] to evaluate the logic of action proposed by Kartha and Lifschitz in [7].