Model checking and validity in propositional and modal inclusion logics

Publiceringsår

2019

Upphovspersoner

Hella, Lauri; Kuusisto, Antti; Meier, Arne; Virtema, Jonni

Organisationer och upphovspersoner

Tammerfors universitet

Kuusisto Antti

Hella Lauri

Helsingfors universitet

Virtema Jonni

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Tidning

Artikelstyp

En originalartikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A1 Originalartikel i en vetenskaplig tidskrift

Publikationskanalens uppgifter

Journal

Journal of logic and computation

Moderpublikationens namn

Journal of Logic and Computation

Volym

Nummer

Sidor

605-630

ISSN

0955-792X

Publikationsforum

60879

Publikationsforumsnivå

Öppen tillgång

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

Nej

Parallellsparad

Övriga uppgifter

Vetenskapsområden

Matematik; Data- och informationsvetenskap

Nyckelord

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

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej

DOI

10.1093/logcom/exz008