Categorical and Kripke semantics for constructive S4 modal logic

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...

Formal semantics of nondeterminism and parallelism

Kennaway, J

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D39421/82 / BLDSC - British Library ...

Semantics of some unusual modal logics

Punčochář, Vít

January 2009

The rst part deals with Carnap s contribution to the modal logic. The Carnap s work is included in t...

The informal semantics of modal logic

O'Connell, C.

January 1982

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

Modality and the semantics - pragmatics interface

Papafragou, A.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN030012 / BLDSC - British Library D...

An Internal Semantics for Modal Logic: Prelhinary Report

Ronald Fagin
Moshe Y. Vardi

August 2015

Abstract: In Kripke semantics for modal logic, “pos-sible worlds ” and the possibility relation are ...

A comparison of three ways of representing modal logic

Oliver, M.
Open Univ., Milton Keynes (United Kingdom). Centre for Information Technology in Education

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:3267.783(233) / BLDSC - British Libra...

A note on graded modal logic

De Riijke, M.
Warwick Univ., Coventry (United Kingdom). Dept. of Computer Science

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:7769.09285(WU-DCS-RR--318) / BLDSC - ...

Modal logics for mobile processes

Milner, R.
Parrow, J.
Walker, D
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--91-136) / BLDSC ...

Visualisation and manipulation tools for Modal logic

Oliver, M.J.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN024717 / BLDSC - British Library D...

A semantical hierarchy for modal formulas.

Guccione, Salvatore
Tortora, Roberto

January 1982

In this paper a semantical partition, relative to Kripke models, is introduced for sets of formulas....

Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3

Yazaki, Daishi

January 2019

The main purpose of this paper is to give alternative proofs of syntactical and semantical propertie...

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...

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...

Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics

Natasha Alechina
Valeria de Paiva
Eike Ritter

January 1998

We consider two systems of intuitionistic modal logic which are computationally motivated: first, th...

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...

Formal semantics of nondeterminism and parallelism

Kennaway, J

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D39421/82 / BLDSC - British Library ...

Semantics of some unusual modal logics

Punčochář, Vít

January 2009

The rst part deals with Carnap s contribution to the modal logic. The Carnap s work is included in t...

The informal semantics of modal logic

O'Connell, C.

January 1982

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

Modality and the semantics - pragmatics interface

Papafragou, A.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN030012 / BLDSC - British Library D...

An Internal Semantics for Modal Logic: Prelhinary Report

Ronald Fagin
Moshe Y. Vardi

August 2015

Abstract: In Kripke semantics for modal logic, “pos-sible worlds ” and the possibility relation are ...

A comparison of three ways of representing modal logic

Oliver, M.
Open Univ., Milton Keynes (United Kingdom). Centre for Information Technology in Education

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:3267.783(233) / BLDSC - British Libra...

A note on graded modal logic

De Riijke, M.
Warwick Univ., Coventry (United Kingdom). Dept. of Computer Science

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:7769.09285(WU-DCS-RR--318) / BLDSC - ...

Modal logics for mobile processes

Milner, R.
Parrow, J.
Walker, D
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--91-136) / BLDSC ...

Visualisation and manipulation tools for Modal logic

Oliver, M.J.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN024717 / BLDSC - British Library D...

A semantical hierarchy for modal formulas.

Guccione, Salvatore
Tortora, Roberto

January 1982

In this paper a semantical partition, relative to Kripke models, is introduced for sets of formulas....

Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3

Yazaki, Daishi

January 2019

The main purpose of this paper is to give alternative proofs of syntactical and semantical propertie...

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...

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...

Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics

Natasha Alechina
Valeria de Paiva
Eike Ritter

January 1998

We consider two systems of intuitionistic modal logic which are computationally motivated: first, th...

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...

Formal semantics of nondeterminism and parallelism

Kennaway, J

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D39421/82 / BLDSC - British Library ...

Semantics of some unusual modal logics

Punčochář, Vít

January 2009

The rst part deals with Carnap s contribution to the modal logic. The Carnap s work is included in t...

Categorical and Kripke semantics for constructive S4 modal logic

Abstract

Extracted data

Categorical and Kripke semantics for constructive S4 modal logic

Abstract

Extracted data

Related items

Related items