3 papers
math.LO2026
Intuitionistic and Constructive Modal Logics for Classical Modal Logicians
Yuta Sato
This paper gives a survey of propositional modal logic in an intuitionistic setting. Mainly intended for readers already familiar with classical modal logic, we discuss why there a…
math.LO2025
Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
Yuta Sato
We prove the uniform Lyndon interpolation property (ULIP) of some extensions of the pure logic of necessitation . For any , $\mathbf{N}^+\mathbf{A}…
math.LO2023
The finite frame property of some extensions of the pure logic of necessitation
Taishi Kurahashi, Yuta Sato
We study the finite frame property of some extensions of Fitting, Marek, and Truszczyński's pure logic of necessitation . For any natural numbers , we introduce t…