Zobrazeno 1 - 10
of 223
pro vyhledávání: '"relational semantics"'
Autor:
S. I. Bashmakov, K. A. Smelykh
Publikováno v:
Известия Иркутского государственного университета: Серия "Математика", Vol 47, Iss 1, Pp 78-92 (2024)
This paper deals with multi-agent computation tree logic --- $\mathcal{CTLK}$ (Computation Tree Logic with Knowledge). Each agent represents its own computational route of the initial problem, and new branches of possible computational routes spawn n
Externí odkaz:
https://doaj.org/article/3559a77ad65b40b485a7aee297b90ecd
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.
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:
López, Sandra M.
Publikováno v:
Bulletin of the Section of Logic. 51(1):27-56
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1041311
Autor:
Sandra M. López
Publikováno v:
Bulletin of the Section of Logic, Vol 51, Iss 1, Pp 27-56 (2022)
Six interesting variants of the logics BN4 and E4—which can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively—were previously developed in the literature. All these systems are related to the
Externí odkaz:
https://doaj.org/article/d3d68ded08c9481eac920159886fd53f
Autor:
Luciano J. González
Publikováno v:
Mathematica Bohemica, Vol 144, Iss 3, Pp 225-240 (2019)
This paper aims to propose a complete relational semantics for the so-called logic of bounded lattices, and prove a completeness theorem with regard to a class of two-sorted frames that is dually equivalent (categorically) to the variety of bounded l
Externí odkaz:
https://doaj.org/article/af43a4c9e3904bc5b544944671d52032
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:
MacCaull, Wendy
Publikováno v:
The Journal of Symbolic Logic, 1998 Jun 01. 63(2), 623-637.
Externí odkaz:
https://www.jstor.org/stable/2586855
Autor:
Szczepiński, Rafał
Publikováno v:
Filozofia Nauki / The Philosophy of Science. 23(3 (91)):77-98
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=306481