undefined

< Back to search results

Model checking and validity in propositional and modal inclusion logics

Year of publication

2019

Authors

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

Organizations and authors

University of Helsinki

Virtema Jonni

Tampere University

Kuusisto Antti

Hella Lauri

Publication type

Publication format

Article

Parent publication type

Journal

Article type

Original article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A1 Journal article (refereed), original research

Publication channel information

Journal

Journal of logic and computation

Parent publication name

Journal of Logic and Computation

Volume

29

Issue

5

Pages

605-630

ISSN

0955-792X

​Publication forum

60879

​Publication forum level

2

Open access

Open access in the publisher’s service

No

Self-archived

Yes

Other information

Fields of science

Mathematics; Computer and information sciences

Keywords

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

Internationality of the publisher

International

Language

English

International co-publication

Yes

Co-publication with a company

No

DOI

10.1093/logcom/exz008

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes