Reduction of second‐order logic to modal logic

DOI10.1002/MALQ.19750210114MaRDI QIDQ4077979zbMATH OpenOpenAlexFDO

Authors S. K. Thomason

Publication date 1975

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19750210114

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory (03C99)

Cited in

(11)

• What is an inference rule?
• Some kinds of modal completeness
• Simulating polyadic modal logics by monadic ones
• Erdős Graphs Resolve Fine's Canonicity Problem
• Products of ‘transitive” modal logics
• Algebraic modal correspondence: Sahlqvist and beyond
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• On Blass translation for Leśniewski's propositional ontology and modal logics
• The structure of lattices of subframe logics
• Mathematical modal logic: A view of its evolution
• Logic and time

This page was built for publication: Reduction of second‐order logic to modal logic

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