المؤلفون: Horvat, Sebastijan, Perkov, Tin

المصدر: Rad Hrvatske akademije znanosti i umjetnosti. Matematičke znanosti ; ISSN 1845-4100 (Print) ; ISSN 1849-2215 (Online) ; Issue 564=29

مصطلحات موضوعية: Interpretability logic, Verbrugge models, finite model property, selection method

وصف الملف: application/pdf

Relation: https://hrcak.srce.hr/326511

الاتاحة: https://hrcak.srce.hr/326511
https://hrcak.srce.hr/file/471952

المؤلفون: Perkov, Tin

المصدر: Logic, Language, Information, and Computation ; Lecture Notes in Computer Science ; page 305-317 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031397837 9783031397844

الاتاحة: http://dx.doi.org/10.1007/978-3-031-39784-4_19
https://link.springer.com/content/pdf/10.1007/978-3-031-39784-4_19

المؤلفون: Perkov, Tin

المصدر: Journal of Logic, Language, and Information, 2016 Oct 01. 25(3/4), 335-354.

URL الوصول: https://www.jstor.org/stable/44985581

المؤلفون: Horvat, Sebastijan, Perkov, Tin, Vuković, Mladen

المساهمون: Hrvatska Zaklada za Znanost

المصدر: Mathematical Logic Quarterly ; volume 69, issue 2, page 231-243 ; ISSN 0942-5616 1521-3870

الاتاحة: http://dx.doi.org/10.1002/malq.202200042
https://onlinelibrary.wiley.com/doi/pdf/10.1002/malq.202200042

المؤلفون: Mikec, Luka, Perkov, Tin, Vukoviĉ, Mladen

المصدر: Logic Journal of the IGPL ; ISSN 1367-0751 1368-9894

مصطلحات موضوعية: Logic

الاتاحة: http://dx.doi.org/10.1093/jigpal/jzad020
https://academic.oup.com/jigpal/advance-article-pdf/doi/10.1093/jigpal/jzad020/51557424/jzad020.pdf

المؤلفون: Mikec, Luka, Perkov, Tin, Vuković, Mladen

المصدر: Logic Journal of the IGPL ; volume 25, issue 5, page 758-772 ; ISSN 1367-0751 1368-9894

الاتاحة: https://doi.org/10.1093/jigpal/jzx027
http://academic.oup.com/jigpal/article-pdf/25/5/758/19917028/jzx027.pdf

المؤلفون: Mikec, Luka, Perkov, Tin, Vukoviĉ, Mladen

المصدر: Logic Journal of the IGPL; Oct2024, Vol. 32 Issue 5, p936-937, 2p

مصطلحات موضوعية: BISIMULATION, SEMANTICS (Philosophy), DEFINITIONS, LOGIC

المؤلفون: Horvat, Sebastijan, Perkov, Tin, Vuković, Mladen

مصطلحات موضوعية: interpretability logic, Verbrugge semantics, w-bisimulations, weak bisimulation games, modal equivalence

URL الوصول: https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::528853df01aa8b7a4b7262a7496eb4bc
https://www.bib.irb.hr/1253110

المؤلفون: Horvat, Sebastijan, Perkov, Tin, Vuković, Mladen

مصطلحات موضوعية: weak bisimulation, weak bisimulation games, Verbrugge semantics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::5308b5f0279d2bf3da1fb3e00c868584
https://www.bib.irb.hr/1253112

المؤلفون: Perkov, Tin

المصدر: Guide to Deep Learning Basics
page 7-12
ISBN 9783030375904 9783030375911

الاتاحة: http://dx.doi.org/10.1007/978-3-030-37591-1_2
http://link.springer.com/content/pdf/10.1007/978-3-030-37591-1_2

المؤلفون: Perkov, Tin

المصدر: Logica Universalis ; ISSN 1661-8297 1661-8300

الاتاحة: http://dx.doi.org/10.1007/s11787-021-00271-8
http://link.springer.com/content/pdf/10.1007/s11787-021-00271-8.pdf
http://link.springer.com/article/10.1007/s11787-021-00271-8/fulltext.html

المؤلفون: Perkov, Tin, Vuković, Mladen

مصطلحات موضوعية: Original Articles

وصف الملف: text/html

Relation: http://jigpal.oxfordjournals.org/cgi/content/short/22/6/872; http://dx.doi.org/10.1093/jigpal/jzu015

الاتاحة: http://jigpal.oxfordjournals.org/cgi/content/short/22/6/872
https://doi.org/10.1093/jigpal/jzu015

المؤلفون: Perkov, Tin

المصدر: Journal of Applied Non-Classical Logics ; volume 24, issue 1-2, page 138-143 ; ISSN 1166-3081 1958-5780

الاتاحة: http://dx.doi.org/10.1080/11663081.2014.911533
http://www.tandfonline.com/doi/pdf/10.1080/10256018808623883

المؤلفون: Horvat, Sebastijan, Perkov, Tin, Vuković, Mladen

مصطلحات موضوعية: Generalised Veltman semantics, bisimulation, bisimulation games, modal equivalence

URL الوصول: https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::159e5629c0c96fa6c3fdbc02ae78476c
https://www.bib.irb.hr/1253104

المؤلفون: Perkov, Tin

المساهمون: Krznar, Tomislav

مصطلحات موضوعية: modalna logika, kreativnost

URL الوصول: https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::2229a802fca60a94aedadbb62ef04822
https://www.bib.irb.hr/974018

المؤلفون: Perkov, Tin, Vuković, Mladen

المصدر: Annals of Pure and Applied Logic ; volume 163, issue 12, page 1928-1939 ; ISSN 0168-0072

الاتاحة: http://dx.doi.org/10.1016/j.apal.2012.07.001
https://api.elsevier.com/content/article/PII:S0168007212001078?httpAccept=text/plain
https://api.elsevier.com/content/article/PII:S0168007212001078?httpAccept=text/xml

المؤلفون: Perkov, Tin

المساهمون: Cerrito, Serenella, Popescu, Andrei

وصف الملف: application/pdf

Relation: https://eprints.mdx.ac.uk/27473/1/Perkov_Tableau_based_translation_from_FO_logic_to_modal_logic.pdf; Perkov, Tin (2019) Tableau-based translation from first-order logic to modal logic. Technical Report. Cerrito, Serenella and Popescu, Andrei , eds. Middlesex University London, London, UK. ISBN 9781911371786. [Monograph] (Published online first)

الاتاحة: https://eprints.mdx.ac.uk/27473/
https://eprints.mdx.ac.uk/27473/1/Perkov_Tableau_based_translation_from_FO_logic_to_modal_logic.pdf

المؤلفون: Perkov, Tin, Mikec, Luka

المساهمون: Hrvatska Zaklada za Znanost

المصدر: Mathematical Logic Quarterly ; volume 66, issue 3, page 316-325 ; ISSN 0942-5616 1521-3870

الاتاحة: http://dx.doi.org/10.1002/malq.201900061
https://onlinelibrary.wiley.com/doi/pdf/10.1002/malq.201900061
https://onlinelibrary.wiley.com/doi/full-xml/10.1002/malq.201900061

المؤلفون: Perkov, Tin

مصطلحات موضوعية: računanje datuma Uskrsa

URL الوصول: https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::fcf23297716cd662fe7a1c346312e6d2
https://www.bib.irb.hr/997352

المؤلفون: Pažek, Bojan, Perkov, Tin

المصدر: Math.e
Volume 36
Issue 1

مصطلحات موضوعية: modalna logika, topološka semantika, matematičke osnove računarstva, modalna logika

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::73d87741340af5477a634d61b3616e8a
https://hrcak.srce.hr/file/349434