An analytic tableau calculus for a temporalised belief logic

DOI10.1016/J.JAL.2011.08.003MaRDI QIDQ456722zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ji Ma, Mehmet A. Orgun, Kamel Adi

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)

Recommendations

• scientific article; zbMATH DE number 1536563
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
• Labelled tableaux for distributed temporal logic
• Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making

Cites work

• scientific article; zbMATH DE number 1612544 (Why is no real title available?)
• scientific article; zbMATH DE number 1617329 (Why is no real title available?)
• scientific article; zbMATH DE number 2089747 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 1215459 (Why is no real title available?)
• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• scientific article; zbMATH DE number 1341479 (Why is no real title available?)
• scientific article; zbMATH DE number 1954129 (Why is no real title available?)
• scientific article; zbMATH DE number 2084402 (Why is no real title available?)
• scientific article; zbMATH DE number 1500573 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• A new logic for electronic commerce protocols
• AI 2005: Advances in Artificial Intelligence
• Adding a temporal dimension to a logic system
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
• Knowledge representation, reasoning and integration using temporal logic with clocks
• NuSMV: A new symbolic model checker
• Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
• Products of modal logics. III. Products of modal and temporal logics
• Properties of independently axiomatizable bimodal logics
• Verification of reactive systems using temporal logic with clocks

Cited in

(8)

• scientific article; zbMATH DE number 5177771 (Why is no real title available?)
• An omniscience-free temporal logic of knowledge for verifying authentication protocols
• Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• AI 2005: Advances in Artificial Intelligence
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
• scientific article; zbMATH DE number 1536563 (Why is no real title available?)
• Tableau Development for a Bi-intuitionistic Tense Logic

Describes a project that uses

Uses Software

• jSpin
• NuSMV
• SPIN

This page was built for publication: An analytic tableau calculus for a temporalised belief logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456722)