Substructural logics with a reflexive transitive closure modality

Result code in IS VaVaI

RIV/67985955:_____/17:00477326 - isvavai.cz

Result on the web

http://dx.doi.org/10.1007/978-3-662-55386-2_25

DOI - Digital Object Identifier

10.1007/978-3-662-55386-2_25

Result language

angličtina

Original language name

Substructural logics with a reflexive transitive closure modality

Original language description

Reflexive transitive closure modalities represent a number of important notions, such as common knowledge in a group of agents or non-deterministic iteration of actions. Normal modal logics with such modalities are well-explored but weaker logics are not. We add a reflexive transitive closure box modality to the modal non-associative commutative full Lambek calculus with a simple negation. Decidability and weak completeness of the resulting system are established and extensions of the results to stronger substructural logics are discussed. As a special case, we obtain decidability and weak completeness for intuitionistic modal logic with the reflexive transitive closure box.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

60301 - Philosophy, History and Philosophy of science and technology

Project

GC16-07954J: From Shared Evidence to Group Attitudes

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2017

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Logic, Language, Information, and Computation

ISBN

978-3-662-55385-5

ISSN

0302-9743

e-ISSN

—

Number of pages

9

Pages from-to

349-357

Publisher name

Springer

Place of publication

Berlin

Event location

London

Event date

Jul 18, 2017

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000428905900025