Theorem proving for non-normal modal logics

Publiceringsår

2020

Upphovspersoner

Dalmonte, Tiziano; Negri, S.; Olivetti, Nicola; Pozzato, Gian Luca

Organisationer och upphovspersoner

Helsingfors universitet

Negri S.

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Volym

2785

Sidor

17-22

ISSN

1613-0073

Publikationsforum

53269

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Öppen tillgång till publikationskanalen

Helt öppen publikationskanal

Parallellsparad

Parallellagringens licens

CC BY

Övriga uppgifter

Vetenskapsområden

Filosofi

Nyckelord

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Publiceringsland

Tyskland

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej