Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Ilya Shapirovsky"'
Autor:
Denis I. Saveliev, Ilya Shapirovsky
Publikováno v:
Studia Logica. 108:989-1017
Given a class $$\mathcal {C}$$ of models, a binary relation $$\mathcal {R}$$ between models, and a model-theoretic language L, we consider the modal logic and the modal algebra of the theory of $$\mathcal {C}$$ in L where the modal operator is interp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b00d54bc2e5df0831aacb1b9873e5cee
https://doi.org/10.1007/s11225-019-09885-y
https://doi.org/10.1007/s11225-019-09885-y
Autor:
Ilya Shapirovsky
We consider the operation of sum on Kripke frames, where a family of frames-summands is indexed by elements of another frame. In many cases, the modal logic of sums inherits the finite model property and decidability from the modal logic of summands
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7bb12c580d2ffce99fd9ffaa2173098a
Autor:
Andrey Kudinov, Ilya Shapirovsky
Publikováno v:
Izvestiya: Mathematics. 81:592-617
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b56f9c150fd79aecdc8b6ddc85f19fdb
https://doi.org/10.1070/im8476
https://doi.org/10.1070/im8476
Autor:
Ilya Shapirovsky
Publikováno v:
Logic, Language, Information, and Computation ISBN: 9783662595329
WoLLIC
WoLLIC
Let \((\omega ^n,\preceq )\) be the n-th direct power of \((\omega ,\le )\), natural numbers with the standard ordering, and let \((\omega ^n,\prec )\) be the n-th direct power of \((\omega
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1a58dca44cf21d1c7cd9f070a9d71afb
https://doi.org/10.1007/978-3-662-59533-6_37
https://doi.org/10.1007/978-3-662-59533-6_37
Autor:
Ilya Shapirovsky, Andrey Kudinov
Publikováno v:
Russian Mathematical Surveys. 71:164-166
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::494aad2c4e3100effb707517236a4894
https://doi.org/10.1070/rm9686
https://doi.org/10.1070/rm9686
Publikováno v:
Journal of Applied Logic. 12:570-583
One of natural combinations of Kripke complete modal logics is the product, an operation that has been extensively investigated over the last 15 years. In this paper we consider its analogue for arbitrary modal logics: to this end, we use product-lik
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::217f491e95d082694092b1d8573ebccb
https://doi.org/10.1016/j.jal.2014.08.002
https://doi.org/10.1016/j.jal.2014.08.002
Autor:
Ilya Shapirovsky
Publikováno v:
Journal of Applied Non-Classical Logics. 17:397-414
In this paper we study modal logics of closed domains on the real plane ordered by the chronological future relation. For the modal logic determined by an arbitrary closed convex domain with a smooth bound, we present a finite axiom system and prove
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b6ad271224b5d40f2827ed3446c9ef1
https://doi.org/10.3166/jancl.17.397-414
https://doi.org/10.3166/jancl.17.397-414
Autor:
Ilya Shapirovsky, Valentin B. Shehtman
Publikováno v:
Journal of Logic and Computation. 15:559-574
The paper studies modal logics of Kripke frames, in which possible worlds are regions in space with natural accessibility relations. These logics are also interpreted as relativistic temporal logics. Together with an overview, we prove some new resul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f2adea5f3f99229b6cc79d8537d28ffd
https://doi.org/10.1093/logcom/exi039
https://doi.org/10.1093/logcom/exi039
Autor:
Andrey Kudinov, Ilya Shapirovsky
Publikováno v:
Uspekhi Matematicheskikh Nauk. 71:175-176
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae995779115f64e212cd9f082071ea6d
https://doi.org/10.4213/rm9686
https://doi.org/10.4213/rm9686
Publikováno v:
Advances in modal logic
Scopus-Elsevier
Scopus-Elsevier
Filtration is a standard tool for establishing the finite model property of modal logics. We consider logics and classes of frames that admit filtration, and identify some operations on them that preserve this property. In particular, the operation o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::737c979314213aff89536e7a8bbe842c
https://repository.londonmet.ac.uk/5804/1/Kikot-Shapirovsky-Zolin.pdf
https://repository.londonmet.ac.uk/5804/1/Kikot-Shapirovsky-Zolin.pdf