Clausal resolution in a logic of rational agency

DOI10.1016/S0004-3702(02)00196-0zbMath1015.68170OpenAlexW1963666633WikidataQ98283965 ScholiaQ98283965MaRDI QIDQ1606116

R. Smith

Publication date: 31 July 2002

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(02)00196-0

zbMATH Keywords

verificationresolutionmodal logicsautomated deductiontemporal logicsrational agents

Mathematics Subject Classification ID

Related Items (1)

A resolution calculus for the branching-time temporal logic CTL

Uses Software

• KARO
• FaCT++

Cites Work

• A structure-preserving clause form translation
• Modal resolution in clausal form
• The complexity of reasoning about knowledge and time. I: Lower bounds
• Why combine logics?
• Temporal resolution using a breadth-first search algorithm
• Combinations of modal logics
• Decision procedures and expressiveness in the temporal logic of branching time
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Decision procedures for BDI logics
• Resolution for temporal logics of knowledge
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
• A clausal resolution method for CTL branching-time temporal logic
• Resolution-based methods for modal logics
• Resolution-based calculi for modal and temporal logics
• Search strategies for resolution in temporal logics
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Clausal temporal resolution
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Clausal resolution in a logic of rational agency