Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024
Local Intuitionistic Modal Logics and Their Calculi
Philippe Balbiani, Han Gao, Çiğdem Gencer +1
We investigate intuitionistic modal logics with locally interpreted and . The basic logic LIK is stronger than constructive modal logic WK and incomparable with…
cs.LO2023
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus
Philippe Balbiani, Han Gao, Çiğdem Gencer +1
We introduce FIK, a natural intuitionistic modal logic specified by Kripke models satisfying the condition of forward confluence. We give a complete Hilbert-style axiomatization of…
cs.LO2010
A Modal Logic for Termgraph Rewriting
Ph. Balbiani, R. Echahed, A. Herzig
We propose a modal logic tailored to describe graph transformations and discuss some of its properties. We focus on a particular class of graphs called termgraphs. They are first-o…