The influence of the test operator on the expressive power of PDL-like logics

DOI10.1093/LOGCOM/EXZ020MaRDI QIDQ5216338zbMATH OpenOpenAlexWikidataFDO

Authors Linh Anh Nguyen

Publication date 17 February 2020

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exz020

zbMATH Keywords

description logicexpressive powermodal logicPDLtest operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 7317262
• Eliminating ``converse from converse PDL
• scientific article; zbMATH DE number 3859091
• scientific article; zbMATH DE number 3912350
• PDL inside the -calculus: a syntactic and an automata-theoretic characterization

Cited in

(1)

• scientific article; zbMATH DE number 5295720 (Why is no real title available?)

This page was built for publication: The influence of the test operator on the expressive power of PDL-like logics

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