Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Valentin B. Shehtman"'
Publikováno v:
EPiC Series in Computing.
We consider shifted products of modal algebras and logics first introduced by Y. Hasimoto in 2000. For logics this operation is similar to the well-known usual product but it is logically invariant. We prove the conjecture of D. Gabbay that shifted p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ef654d89b95cf2a10c8c795b53ac600
https://doi.org/10.29007/mtw5
https://doi.org/10.29007/mtw5
Autor:
Valentin B. Shehtman
Publikováno v:
Larisa Maksimova on Implication, Interpolation, and Definability ISBN: 9783319699165
The paper studies two-dimensional modal logics with additional connectives (so-called Segerberg squares) and can be regarded as a continuation of Shehtman (Russian Mathematical Surveys, 67(4):721–778, 2012). It gives a new simpler proof of the fini
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::22d0da26b3e03251452a2094c906f23a
https://doi.org/10.1007/978-3-319-69917-2_12
https://doi.org/10.1007/978-3-319-69917-2_12
Autor:
Valentin B. Shehtman
Publikováno v:
Russian Mathematical Surveys. 71:979-981
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::74a3eab3cde221690a1cb159db55b940
https://doi.org/10.1070/rm9731
https://doi.org/10.1070/rm9731
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:
Valentin B. Shehtman
Publikováno v:
Russian Mathematical Surveys. 67:721-777
This paper studies two-dimensional modal logics of a special type, 'Segerberg squares'. They are defined as the usual squares of modal logics with additional connectives corresponding to the diagonal symmetry and the two projections onto the diagonal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0fdb4549500a37f502717195f2138ea8
https://doi.org/10.1070/rm2012v067n04abeh004805
https://doi.org/10.1070/rm2012v067n04abeh004805
Autor:
Valentin B. Shehtman
Publikováno v:
Proceedings of the Steklov Institute of Mathematics. 274:317-325
The paper gives an overview of new results on two-dimensional modal logics of special type, “Segerberg squares.” They are defined as usual squares of modal logics with additional connectives corresponding to the diagonal symmetry and two projecti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::88d84f7ba2a1650ee808d5906c0cd011
https://doi.org/10.1134/s0081543811060204
https://doi.org/10.1134/s0081543811060204
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:
Valentin B. Shehtman
Publikováno v:
Uspekhi Matematicheskikh Nauk. 71:185-186
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9cde9383dd6fb2d94968674d7694eecf
https://doi.org/10.4213/rm9731
https://doi.org/10.4213/rm9731
Autor:
Valentin B. Shehtman, Dov M. Gabbay
Publikováno v:
Studia Logica. 72:157-183
In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::baefb194ddffd937fb39bdebf549b5a4
https://doi.org/10.1023/a:1021304426509
https://doi.org/10.1023/a:1021304426509
Autor:
Andrey Kudinov, Valentin B. Shehtman
Publikováno v:
Leo Esakia on Duality in Modal and Intuitionistic Logics ISBN: 9789401788595
In this chapter we study modal logics of topological spaces in the combined language with the derivational modality and the difference modality. We give axiomatizations and prove completeness for the following classes: all spaces, \(T_1\)-spaces, den
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc25c57b480c0c6aec87c83f90d77686
https://doi.org/10.1007/978-94-017-8860-1_11
https://doi.org/10.1007/978-94-017-8860-1_11