Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables

DOI10.1007/11750734_7zbMath1235.03050OpenAlexW2108831688MaRDI QIDQ3623966

A. Ju. Pljuskevicene, Regimantas Pliuškevičius

Publication date: 28 April 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11750734_7

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items (5)

Finite sequent calculi for PLTL ⋮ A derivation-loop method for temporal logic ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Loop-type sequent calculi for temporal logic ⋮ Loop-check specification for a sequent calculus of temporal logic

This page was built for publication: Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables