Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates

Gespeichert in:

Bibliographische Detailangaben
Datum:	2013
1. Verfasser:	O. S. Shkilniak
Format:	Artikel
Sprache:	English
Veröffentlicht:	2013
Schriftenreihe:	Artificial intelligence
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000357193
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

id	open-sciencenbuvgovua-84008
record_format	dspace
spelling	open-sciencenbuvgovua-840082024-04-16T18:35:52Z Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates O. S. Shkilniak 2710-1673 2013 en Artificial intelligence http://jnas.nbuv.gov.ua/article/UJRN-0000357193 Article
institution	Library portal of National Academy of Sciences of Ukraine \| LibNAS
collection	Open-Science
language	English
series	Artificial intelligence
spellingShingle	Artificial intelligence O. S. Shkilniak Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
format	Article
author	O. S. Shkilniak
author_facet	O. S. Shkilniak
author_sort	O. S. Shkilniak
title	Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
title_short	Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
title_full	Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
title_fullStr	Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
title_full_unstemmed	Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
title_sort	sequent calculi for temporal and multimodal logics of partial predicates
publishDate	2013
url	http://jnas.nbuv.gov.ua/article/UJRN-0000357193
work_keys_str_mv	AT osshkilniak sequentcalculifortemporalandmultimodallogicsofpartialpredicates
first_indexed	2025-07-22T10:08:59Z
last_indexed	2025-07-22T10:08:59Z
_version_	1850420164219109376