Polymodal Logics of Commuting Functions

DOI10.1093/JIGPAL/10.5.517MaRDI QIDQ4795880zbMATH OpenOpenAlexFDO

Authors A. G. Kravtsov

Publication date 2002

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/10.5.517

zbMATH Keywords

commuting modalitiesfinite model propertyfinitely axiomatisable extensionsfunctional modalitiespolymodal logicpretabularityproduct of modal logicstomorrow-yesterday logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 2105671
• scientific article; zbMATH DE number 1080249
• Hereditary finite axiomatizability of the logic \(\mathrm{SL}^n\)
• A functional approach for temporal \(\times\) modal logics
• Products of modal logics. III. Products of modal and temporal logics

Cited in

(5)

• Hereditary finite axiomatizability of the logic \(\mathrm{SL}^n\)
• On admissible rules for the polymodal logic \(\text{S}5_n\text{C}\)
• scientific article; zbMATH DE number 1080249 (Why is no real title available?)
• scientific article; zbMATH DE number 2105671 (Why is no real title available?)
• Substructural negations as normal modal operators

This page was built for publication: Polymodal Logics of Commuting Functions

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