The product of converse PDL and polymodal K
From MaRDI portal
Publication:4487258
DOI10.1093/logcom/10.2.223zbMath0959.03013OpenAlexW1988434703MaRDI QIDQ4487258
Publication date: 2 May 2001
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/5b70db408d05b4b5574914d8c41af258335de5c5
knowledge representationdecidabilitydescription logicspropositional dynamic logicproducts of modal logicstemporal logicspolymodal logic
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic in computer science (03B70) Temporal logic (03B44)
Related Items (6)
The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability ⋮ Combined model checking for temporal, probabilistic, and real-time logics ⋮ Interactions between knowledge, action and commitment within agent dynamic logic ⋮ Non-primitive recursive decidability of products of modal logics with expanding domains ⋮ On combinations of propositional dynamic logic and doxastic modal logics
This page was built for publication: The product of converse PDL and polymodal K
