Showing 1–3 of 3 results for author: Balbiani, P

Intuitionistic modal logics: a minimal setting

Authors: Philippe Balbiani, Çigdem Gencer

Abstract: We introduce an intuitionistic modal logic strictly contained in the intuitionistic modal logic IK and being an appropriate candidate for the title of ``minimal normal intuitionistic modal logic''. We introduce an intuitionistic modal logic strictly contained in the intuitionistic modal logic IK and being an appropriate candidate for the title of ``minimal normal intuitionistic modal logic''. △ Less

Submitted 26 February, 2025; originally announced February 2025.

Representation theorems for extended contact algebras based on equivalence relations

Authors: Philippe Balbiani, Tatyana Ivanova

Abstract: The aim of this paper is to give new representation theorems for extended contact algebras. These representation theorems are based on equivalence relations. The aim of this paper is to give new representation theorems for extended contact algebras. These representation theorems are based on equivalence relations. △ Less

Submitted 29 January, 2019; originally announced January 2019.

Bisimulations for intuitionistic temporal logics

Authors: Philippe Balbiani, Joseph Boudou, Marín Diéguez, David Fernández-Duque

Abstract: We introduce bisimulations for the logic $ITL^e$ with `next', `until' and `release', an intuitionistic temporal logic based on structures equipped with a partial order used to interpret intuitionistic implication and a monotone function used to interpret the temporal modalities. Our main results are that `eventually', which is definable in terms of `until', cannot be defined in terms of `next' and… ▽ More We introduce bisimulations for the logic $ITL^e$ with `next', `until' and `release', an intuitionistic temporal logic based on structures equipped with a partial order used to interpret intuitionistic implication and a monotone function used to interpret the temporal modalities. Our main results are that `eventually', which is definable in terms of `until', cannot be defined in terms of `next' and `henceforth', and similarly that `henceforth', definable in terms of `release', cannot be defined in terms of `next' and `until', even over the smaller class of here-and-there models. △ Less

Submitted 13 March, 2018; originally announced March 2018.