Reduction of second‐order logic to modal logic

DOI10.1002/MALQ.19750210114zbMATH Open0317.02011OpenAlexW2004334891MaRDI QIDQ4077979FDOQ4077979

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)

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

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)