Tag: action theory

Temporal Logic of Permission (TLP) is a modal logic that extends classical propositional logic with operators for reasoning about permission. It is used to formalize and reason about the conditions under which actions are permitted or forbidden.