The product of converse PDL and polymodal K

DOI10.1093/LOGCOM/10.2.223MaRDI QIDQ4487258zbMATH OpenOpenAlexFDO

Authors F. Wolter

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

zbMATH Keywords

decidabilitydescription logicsknowledge representationpropositional dynamic logicproducts of modal logicstemporal logicspolymodal logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• Products of modal logics. III. Products of modal and temporal logics
• The decision problem for combined modal logics
• Products of modal logics, part 1
• Products of ‘transitive” modal logics
• Complexity of products of modal logics

Cited in

(11)

• An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability
• Products of modal logics. III. Products of modal and temporal logics
• scientific article; zbMATH DE number 2024628 (Why is no real title available?)
• Combined model checking for temporal, probabilistic, and real-time logics
• Interactions between knowledge, action and commitment within agent dynamic logic
• On combinations of propositional dynamic logic and doxastic modal logics
• Proving the decidability of the \(\mathrm{PDL}\times\mathrm{PDL}\) product logic
• Non-primitive recursive decidability of products of modal logics with expanding domains
• The decision problem of modal product logics with a diagonal, and faulty counter machines
• Gödel-Dummett linear temporal logic
• Complexity of products of modal logics

This page was built for publication: The product of converse PDL and polymodal K

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