Reasoning about actions and obligations in first-order logic

DOI10.1007/BF00370676zbMath0859.03012MaRDI QIDQ1922829

Gert-Jan C. Lokhorst

Publication date: 7 April 1997

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

implementationPrologdeontic status of actionstwo-sorted first-order extensional predicate calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A deontic logic of action
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• A topological logic of action
• Time and modality in the logic of agency

This page was built for publication: Reasoning about actions and obligations in first-order logic