Semantics and proof theory of an intuitionistic modal sequent calculus

A cut-free sequent calculus for elementary situated reasoning

Seligman, J.
Human Communication Research Centre, Edinburgh (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre-DSC:7752.144(22) / BLDSC - British Librar...

Computational Aspects of Proofs in Modal Logic

Hager, Greg

November 1985

Various modal logics seem well suited for developing models of knowledge, belief, time, change, caus...

Label-free Proof Systems for Intuitionistic Modal Logic IS5

Galmiche, Didier
Salhi, Yakoub

April 2010

International audienceIn this paper we propose proof systems without labels for the intuitionistic m...

On the expressivity of the modal mu-calculus

Bradfield, J
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1995

SIGLEAvailable from British Library Document Supply Centre-DSC:5186.0913(EU-ECS-LFCS--95-338) / BLDS...

Fully structured proof theory for intuitionistic modal logics

Marin, Sonia
Morales, Marianela

August 2020

Short Presentation. AiML 2020International audienceWe present a labelled sequent system and a nested...

Terminating Sequent Calculi for Two Intuitionistic Modal Logics

Iemhoff, Rosalie

January 2020

This paper presents sequent calculi in which proof search is terminating for two intuitionistic moda...

A fully labelled proof system for intuitionistic modal logics

Marin, Sonia
Morales, Marianela
Straßburger, Lutz

May 2021

Labelled proof theory has been famously successful for modal logics by mimicking their relational se...

The informal semantics of modal logic

O'Connell, C.

January 1982

SIGLELD:D46009/83 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A general proof method for first order modal logic

Jackson, P.
Reichgelt, H
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(DAI-RP--339) / BLDSC - Brit...

The Proof Theory and Semantics of Intuitionistic Modal Logic

Simpson, Alex K

July 1994

Possible world semantics underlies many of the applications of modal logic in computer science and p...

Tree-sequent calculi and decision procedures for intuitionistic modal logics

Galmiche, Didier
Salhi, Yakoub

January 2018

International audienceIn this article we define label-free sequent calculi for the intuitionistic mo...

MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)

Girlando, Marianna
Strassburger, Lutz

July 2020

International audienceWe present a simple Prolog prover for intuitionistic modal logics based on nes...

On the Formalization of the Modal μ-Calculus in the Calculus of Inductive Constructions

Miculan, Marino

January 2001

AbstractWe present a natural deduction proof system for the propositional modal μ-calculus and its f...

A computational interpretation of modal proofs

S. Martini
MASINI, Andrea

January 1996

The authors consider some computational properties of intuitionistic 2-sequent calculus [see A. Masi...

On the formalization of the modal mu-calculus in the calculus of inductive constructions

MICULAN, Marino

January 2001

We present a natural deduction proof system for the propositional modal \u3bc-calculus and its forma...

A cut-free sequent calculus for elementary situated reasoning

Seligman, J.
Human Communication Research Centre, Edinburgh (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre-DSC:7752.144(22) / BLDSC - British Librar...

Computational Aspects of Proofs in Modal Logic

Hager, Greg

November 1985

Various modal logics seem well suited for developing models of knowledge, belief, time, change, caus...

Label-free Proof Systems for Intuitionistic Modal Logic IS5

Galmiche, Didier
Salhi, Yakoub

April 2010

International audienceIn this paper we propose proof systems without labels for the intuitionistic m...

On the expressivity of the modal mu-calculus

Bradfield, J
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1995

SIGLEAvailable from British Library Document Supply Centre-DSC:5186.0913(EU-ECS-LFCS--95-338) / BLDS...

Fully structured proof theory for intuitionistic modal logics

Marin, Sonia
Morales, Marianela

August 2020

Short Presentation. AiML 2020International audienceWe present a labelled sequent system and a nested...

Terminating Sequent Calculi for Two Intuitionistic Modal Logics

Iemhoff, Rosalie

January 2020

This paper presents sequent calculi in which proof search is terminating for two intuitionistic moda...

A fully labelled proof system for intuitionistic modal logics

Marin, Sonia
Morales, Marianela
Straßburger, Lutz

May 2021

Labelled proof theory has been famously successful for modal logics by mimicking their relational se...

The informal semantics of modal logic

O'Connell, C.

January 1982

SIGLELD:D46009/83 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A general proof method for first order modal logic

Jackson, P.
Reichgelt, H
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(DAI-RP--339) / BLDSC - Brit...

The Proof Theory and Semantics of Intuitionistic Modal Logic

Simpson, Alex K

July 1994

Possible world semantics underlies many of the applications of modal logic in computer science and p...

Tree-sequent calculi and decision procedures for intuitionistic modal logics

Galmiche, Didier
Salhi, Yakoub

January 2018

International audienceIn this article we define label-free sequent calculi for the intuitionistic mo...

MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)

Girlando, Marianna
Strassburger, Lutz

July 2020

International audienceWe present a simple Prolog prover for intuitionistic modal logics based on nes...

On the Formalization of the Modal μ-Calculus in the Calculus of Inductive Constructions

Miculan, Marino

January 2001

AbstractWe present a natural deduction proof system for the propositional modal μ-calculus and its f...

A computational interpretation of modal proofs

S. Martini
MASINI, Andrea

January 1996

The authors consider some computational properties of intuitionistic 2-sequent calculus [see A. Masi...

On the formalization of the modal mu-calculus in the calculus of inductive constructions

MICULAN, Marino

January 2001

We present a natural deduction proof system for the propositional modal \u3bc-calculus and its forma...

A cut-free sequent calculus for elementary situated reasoning

Seligman, J.
Human Communication Research Centre, Edinburgh (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre-DSC:7752.144(22) / BLDSC - British Librar...

Computational Aspects of Proofs in Modal Logic

Hager, Greg

November 1985

Various modal logics seem well suited for developing models of knowledge, belief, time, change, caus...

Label-free Proof Systems for Intuitionistic Modal Logic IS5

Galmiche, Didier
Salhi, Yakoub

April 2010

International audienceIn this paper we propose proof systems without labels for the intuitionistic m...

Semantics and proof theory of an intuitionistic modal sequent calculus

Abstract

Extracted data

Semantics and proof theory of an intuitionistic modal sequent calculus

Abstract

Extracted data

Related items

Related items