Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Tin Perkov"'
Autor:
Tin Perkov, Luka Mikec
Publikováno v:
Mathematical Logic Quarterly. 66:316-325
We prove an existential analogue of Goldblatt-Thomason theorem which characterizes modal definability of elementary classes of Kripke frames using closure under model theoretic constructions. The less known version of Goldblatt-Thomason theorem gives
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dc7954ac804ce01d55eb920ac851551d
https://doi.org/10.1002/malq.201900061
https://doi.org/10.1002/malq.201900061
Autor:
Tin Perkov
Publikováno v:
Logica Universalis.
This note follows up an earlier paper in which a possibility of defining logical constants within abstract logical frameworks was discussed, by using duals as a general method of applying the idea of invariance under replacement as a criterion for lo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e89c641a53eaba60d3745236b2f3e240
https://doi.org/10.1007/s11787-021-00271-8
https://doi.org/10.1007/s11787-021-00271-8
Autor:
Tin Perkov, Luka Mikec
We define a procedure for translating a given first-order formula to an equivalent modal formula, if one exists, by using tableau-based bisimulation invariance test. A previously developed tableau procedure tests bisimulation invariance of a given fi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4881c7132285bd2c77b9b7d3dbe2b57d
https://www.bib.irb.hr/1169593
https://www.bib.irb.hr/1169593
Autor:
Tin Perkov
Publikováno v:
Guide to Deep Learning Basics ISBN: 9783030375904
We analyze the McCulloch–Pitts seminal 1943 paper on a logical calculus for neural networks from the point of view of contemporary mathematical logic. Originally presented as a fragment of Carnap’s Language II, the cited calculus is regarded in t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7ddccfe41c91dd4b5f11befa250016b6
https://doi.org/10.1007/978-3-030-37591-1_2
https://doi.org/10.1007/978-3-030-37591-1_2
Publikováno v:
Logic Journal of the IGPL. 25:758-772
The finite model property is a key step in proving decidability of modal logics. By adapting the filtration method to the generalized Veltman semantics for interpretability logics, we have been able to prove the finite model property of interpretabil
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d2a5c7a06f75bec1d5599c7dea7277a1
https://doi.org/10.1093/jigpal/jzx027
https://doi.org/10.1093/jigpal/jzx027
Autor:
Tin Perkov
A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fd913a647495a1966b9c12ffb88da6e3
https://www.bib.irb.hr/959874
https://www.bib.irb.hr/959874
Autor:
Luka Mikec, Tin Perkov
Publikováno v:
Math.e
Volume 32
Issue 1
Volume 32
Issue 1
Modalna logika obuhvaća široku familiju formalnih jezika i sistema s brojnim primjenama u računarstvu, lingvistici, filozofiji, teoriji informacija itd. Modalna logika ima iznenađujuće jednostavnu sintaksu i relacijsku semantiku koja se gotovo b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______951::0640d0caede2ba1fd70725936c42aa42
https://hrcak.srce.hr/file/288979
https://hrcak.srce.hr/file/288979
Autor:
Tin Perkov
We can formalize judgments as (consistent sets of) logical formulas. Judgment aggregation deals with judgments of several agents, which need to be aggregated to a collective judgment. There are several logical formalizations of judgment aggregation.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2451249fb31cb3af097f4704b3c0b0e1
https://doi.org/10.1007/s10849-016-9235-x
https://doi.org/10.1007/s10849-016-9235-x
Publikováno v:
Matematičko fizički list
Volume 64
Issue 256
Volume 64
Issue 256
U ovom članku predstavljamo stručne studije računarstva, informatike, elektrotehnike i graditeljstva, koji se izvode na Tehničkom veleučilištu u Zagrebu. Nastojali smo dati objašnjenja koja će, vjerujemo, čitateljima olakšati razumijevanje
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cae5ee805bed31ca7ccf39359ea2ba76
https://www.bib.irb.hr/700345
https://www.bib.irb.hr/700345