Simulating polyadic modal logics by monadic ones

DOI10.2178/JSL/1052669058MaRDI QIDQ3160548zbMATH OpenOpenAlexFDO

Authors George Goguadze, Carla Piazza, Yde Venema

Publication date 9 February 2005

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.jsl/1052669058

zbMATH Keywords

modal logicmonadic operatorspolyadic operatorstransfer results

Mathematics Subject Classification ID

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

Recommendations

• Normal monomodal logics can simulate all others
• Simulation and transfer results in modal logic -- a survey
• About simulating polyadic frames
• Simulating without Negation
• Sahlqvist formulas in hybrid polyadic modal logics

Cites work

• A Modal Logic for Chopping Intervals
• Boolean Algebras with Operators. Part I
• Categorial inference and modal logic
• Duration calculus: Logical foundations
• scientific article; zbMATH DE number 993777 (Why is no real title available?)
• scientific article; zbMATH DE number 757643 (Why is no real title available?)
• Modal deduction in second-order logic and set theory - I
• Reduction of second‐order logic to modal logic
• Relation algebras by games
• Simulation and transfer results in modal logic -- a survey
• The Mathematics of Sentence Structure
• Tools and techniques in modal logic
• Varieties of complex algebras

Cited in

(8)

• Simulation and transfer results in modal logic -- a survey
• Modal definability based on Łukasiewicz validity relations
• Normal monomodal logics can simulate all others
• Algebraic semantics for propositional superposition logic
• About simulating polyadic frames
• Canonical varieties with no canonical axiomatisation
• Denumerably many Post-complete normal modal logics with propositional constants
• A Sahlqvist theorem for distributive modal logic

This page was built for publication: Simulating polyadic modal logics by monadic ones

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