The product of converse PDL and polymodal K
DOI10.1093/LOGCOM/10.2.223zbMATH Open0959.03013OpenAlexW1988434703MaRDI QIDQ4487258FDOQ4487258
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
Recommendations
decidabilitydescription logicsknowledge representationpropositional dynamic logicproducts of modal logicstemporal logicspolymodal logic
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)
Cited In (11)
- Non-primitive recursive decidability of products of modal logics with expanding domains
- Combined model checking for temporal, probabilistic, and real-time logics
- Complexity of products of modal logics
- Title not available (Why is that?)
- The decision problem of modal product logics with a diagonal, and faulty counter machines
- Interactions between knowledge, action and commitment within agent dynamic logic
- Proving the decidability of the \(\mathrm{PDL}\times\mathrm{PDL}\) product logic
- 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
- On combinations of propositional dynamic logic and doxastic modal logics
- Gödel-Dummett linear temporal logic
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)
