Add to ORKGShort Presentation. AiML 2020International audienceWe present a labelled sequent system and a nested sequent system for intuitionistic modal logics equipped with two relation symbols, one for the accessibility relation associated with the Kripke semantics for modal logics and one for the preorder relation associated with the Kripke semantics for intuitionistic logic. Both systems are in close correspondence with the bi-relational Kripke semantics for intuitionistic modal logic
We investigate the semantics of the logical systems obtained by introducing the modalities 2 and 3 i...
We consider two systems of intuitionistic modal logic which are computationally motivated: first, th...
Various modal logics seem well suited for developing models of knowledge, belief, time, change, caus...
Short Presentation. AiML 2020International audienceWe present a labelled sequent system and a nested...
Short Presentation. AiML 2020International audienceWe present a labelled sequent system and a nested...
In this paper we present a labelled sequent system for intuitionistic modal logics such that there i...
Labelled proof theory has been famously successful for modal logics by mimicking their relational se...
International audienceLabelled proof theory has been famously successful for modal logics by mimicki...
International audienceLabelled proof theory has been famously successful for modal logics by mimicki...
Short Presentation. AiML 2020International audienceWe present a labelled sequent system and a nested...
International audienceWe present a simple Prolog prover for intuitionistic modal logics based on nes...
International audienceWe present a simple Prolog prover for intuitionistic modal logics based on nes...
International audienceWe present a simple Prolog prover for intuitionistic modal logics based on nes...
We present a simple Prolog prover for intuitionistic modal logics based on nested sequent proof syst...
Possible world semantics underlies many of the applications of modal logic in computer science and p...
We investigate the semantics of the logical systems obtained by introducing the modalities 2 and 3 i...
We consider two systems of intuitionistic modal logic which are computationally motivated: first, th...
Various modal logics seem well suited for developing models of knowledge, belief, time, change, caus...
Short Presentation. AiML 2020International audienceWe present a labelled sequent system and a nested...
Short Presentation. AiML 2020International audienceWe present a labelled sequent system and a nested...
In this paper we present a labelled sequent system for intuitionistic modal logics such that there i...
Labelled proof theory has been famously successful for modal logics by mimicking their relational se...
International audienceLabelled proof theory has been famously successful for modal logics by mimicki...
International audienceLabelled proof theory has been famously successful for modal logics by mimicki...
Short Presentation. AiML 2020International audienceWe present a labelled sequent system and a nested...
International audienceWe present a simple Prolog prover for intuitionistic modal logics based on nes...
International audienceWe present a simple Prolog prover for intuitionistic modal logics based on nes...
International audienceWe present a simple Prolog prover for intuitionistic modal logics based on nes...
We present a simple Prolog prover for intuitionistic modal logics based on nested sequent proof syst...
Possible world semantics underlies many of the applications of modal logic in computer science and p...
We investigate the semantics of the logical systems obtained by introducing the modalities 2 and 3 i...
We consider two systems of intuitionistic modal logic which are computationally motivated: first, th...
Various modal logics seem well suited for developing models of knowledge, belief, time, change, caus...