Zobrazeno 1 - 10
of 10 848
pro vyhledávání: '"Modal operator"'
Autor:
Łyczak, Marcin
We introduce syntactic modal operator $\BOX$ for \textit{being a thesis} into first-order logic. This logic is a modern realization of R. Carnap's old ideas on modality, as logical necessity (J. Symb. Logic, 1946) \cite{Ca46}. We place it within the
Externí odkaz:
http://arxiv.org/abs/2406.16133
Publikováno v:
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, Vol 31, Iss 1, Pp 167-179 (2023)
In this paper, we define modal operators in residuated skew lattices and prove some fundamental properties of monotone modal operators on residuated skew lattices (RSL). We prove that the composition of two modal operators is a modal operator if and
Externí odkaz:
https://doaj.org/article/2ebf38de9e7d48d29d0e32a4e11dd8e3
Autor:
Lin, Yuanlei, Ma, Minghui
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2020 Oct 01. 108(5), 877-902.
Externí odkaz:
https://www.jstor.org/stable/45379252
Autor:
Guallart, Nino1 (AUTHOR) nguallart@us.es
Publikováno v:
Logic Journal of the IGPL. Aug2021, Vol. 29 Issue 4, p627-643. 17p.
Autor:
Grama, Laura
Publikováno v:
Journal of Romanian Literary Studies. (23):534-542
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1134847
Autor:
Inoué, Takao1 (AUTHOR), Hanaoka, Riku2 (AUTHOR)
Publikováno v:
Formalized Mathematics. Apr2022, Vol. 30 Issue 1, p1-12. 12p.
Autor:
Celani, Sergio A., Montangie, Daniela
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2015 Jun 01. 103(3), 639-662.
Externí odkaz:
http://www.jstor.org/stable/43649725
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Takamura, Hiroki
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2012 Dec 01. 100(6), 1137-1148.
Externí odkaz:
https://www.jstor.org/stable/23324829
Autor:
Frisch, Alan M., Haddawy, Peter
This paper argues for a modal view of probability. The syntax and semantics of one particularly strong probability logic are discussed and some examples of the use of the logic are provided. We show that it is both natural and useful to think of prob
Externí odkaz:
http://arxiv.org/abs/1304.2352