An analytic tableau calculus for a temporalised belief logic

DOI10.1016/j.jal.2011.08.003zbMath1248.68471DBLPjournals/japll/MaOA11OpenAlexW2079311564WikidataQ58184966 ScholiaQ58184966MaRDI QIDQ456722

Kamel Adi, Mehmet A. Orgun, Ji Ma

Publication date: 16 October 2012

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2011.08.003

zbMATH Keywords

automated reasoningagent-based systemslabelled tableau calculustemporalised belief logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Related Items (1)

An omniscience-free temporal logic of knowledge for verifying authentication protocols

Uses Software

• SPIN
• NuSMV
• jSpin

Cites Work

• Knowledge representation, reasoning and integration using temporal logic with clocks
• Adding a temporal dimension to a logic system
• Verification of reactive systems using temporal logic with clocks
• A new logic for electronic commerce protocols
• NuSMV: A new symbolic model checker
• Products of modal logics. III. Products of modal and temporal logics
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
• Properties of independently axiomatizable bimodal logics
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• AI 2005: Advances in Artificial Intelligence
• 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: An analytic tableau calculus for a temporalised belief logic