An analytic tableau calculus for a temporalised belief logic

DOI10.1016/J.JAL.2011.08.003zbMATH Open1248.68471DBLPjournals/japll/MaOA11OpenAlexW2079311564WikidataQ58184966 ScholiaQ58184966MaRDI QIDQ456722FDOQ456722

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

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

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)

Cites Work

• NuSMV: A new symbolic model checker
• Title not available (Why is that?)
• Title not available (Why is that?)
• Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
• Properties of independently axiomatizable bimodal logics
• Adding a temporal dimension to a logic system
• DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• Knowledge representation, reasoning and integration using temporal logic with clocks
• Verification of reactive systems using temporal logic with clocks
• A new logic for electronic commerce protocols
• Products of modal logics. III. Products of modal and temporal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• AI 2005: Advances in Artificial Intelligence

Cited In (8)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Tableau Development for a Bi-intuitionistic Tense Logic

Uses Software

• SPIN
• NuSMV
• jSpin

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)