About simulating polyadic frames

MaRDI QIDQ5173191zbMATH OpenFDO

Authors Szymon Frankowski

Publication date 9 February 2015

Full work available at URL http://www.filozof.uni.lodz.pl/bulletin/pdf/43_34_7.pdf

zbMATH Keywords

framesKripke modelsmodal logicpolyadic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Simulating polyadic modal logics by monadic ones
• Simulating without Negation
• scientific article; zbMATH DE number 487145
• Simulation and transfer results in modal logic -- a survey
• scientific article; zbMATH DE number 1499093

Cited in

(1)

• Simulating polyadic modal logics by monadic ones

This page was built for publication: About simulating polyadic frames

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