Código QR (código de barras bidimensional)

On Combining Intuitionistic and S4 Modal Logic

We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic. The combined language includes the shared constructors of both logics namely conjunction, disjunction and falsum as well as the...

Fuld beskrivelse

Na minha lista:
Principais autores: João Rasga, Cristina Sernadas
Format: Artigo
Sprog:Inglês
Udgivet: Lodz University Press 2024-06-01
Serier:Bulletin of the Section of Logic
Fag:
combination of logics
intuitionistic logic
modal logic
cut elimination
Online adgang:https://czasopisma.uni.lodz.pl/bulletin/article/view/18364
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker