undefined

< Back to search results

Theorem proving for non-normal modal logics

Year of publication

2020

Authors

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

Organizations and authors

University of Helsinki

Negri S.

Publication type

Publication format

Article

Parent publication type

Conference

Article type

Other article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A4 Article in conference proceedings

Publication channel information

Journal/Series

CEUR Workshop Proceedings

Parent publication name

CEUR Workshop Proceedings

Conference

Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis

Volume

2785

Pages

17-22

ISSN

1613-0073

​Publication forum

53269

​Publication forum level

1

Open access

Open access in the publisher’s service

Yes

Open access of publication channel

Fully open publication channel

Self-archived

Yes

License of the self-archived publication

CC BY

Other information

Fields of science

Philosophy

Keywords

[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]

Publication country

Germany

Internationality of the publisher

International

Language

English

International co-publication

Yes

Co-publication with a company

No

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

Yes