Uniform Lyndon interpolation for intuitionistic monotone modal logic (original) (raw)
Related papers
On some intuitionistic modal logics
Publications of the Research Institute for Mathematical Sciences, 1977
Remarks on Intuitionistic Modal Logics
On an intuitionistic modal logic
2000
An application of Rieger-Nishimura formulas to the intuitionistic modal logics
Studia Logica, 1985
Intuitionistic Non-normal Modal Logics: A General Framework
Journal of Philosophical Logic
On modal logic with an intuitionistic base
Studia Logica - An International Journal for Symbolic Logic, 1977
Studia Logica, 1986
Intuitionistic Modal Logics and Applications: A 15-year retrospective
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
2021
Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part I
On a modal logic of intuitionistic admissibility
Intuitionistic modal logics and Dyckhoff's calculus
2017
Uniform interpolation in modal logics
2016
Dualities for Some Intuitionistic Modal Logics
2012
Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic
Logic-Based Program Synthesis and Transformation, 2021
Proof Theory for Intuitionistic Strong L\"ob Logic
arXiv (Cornell University), 2020
A short note on intuitionistic propositional logic with multiple conclusions
Manuscrito, 2005
Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover
arXiv (Cornell University), 2019
Journal of Logic and Computation, 2020
The completeness of monotonic modal logics
Mathematical Logic Quarterly, 1975
On modal and intuitionistic logics
Metascience, 2014
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics
arXiv (Cornell University), 2022
A uniform tableau method for intuitionistic modal logics I
Studia Logica, 1994
A Bi-Intuitionistic Modal Logic: Foundations and Automation
Uniform interpolation and sequent calculi in modal logic
Archive for Mathematical Logic, 2018
Logical Connectives for Constructive Modal Logic
Synthese, 2006
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
28th International Conference on Computer Science Logic, 2020
An Intuitionistic Characterization of Classical Logic
Dualities for Intuitionistic Modal Logics
On sequent calculi for intuitionistic propositional logic
2006
Intuitionistic Modal Logics Incompatible with the law of the excluded middle
Studia Logica, 1981
Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
The Journal of Symbolic Logic, 1986