Reduction of second‐order logic to modal logic

DOI10.1002/malq.19750210114zbMath0317.02011OpenAlexW2004334891MaRDI QIDQ4077979

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)

Related Items (11)

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

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