Iterated team semantics for a hierarchy of informational types

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F22%3A00562184" target="_blank" >RIV/67985955:_____/22:00562184 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1016/j.apal.2022.103156" target="_blank" >https://doi.org/10.1016/j.apal.2022.103156</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.apal.2022.103156" target="_blank" >10.1016/j.apal.2022.103156</a>

Result language
angličtina
Original language name
Iterated team semantics for a hierarchy of informational types
Original language description
In this paper, we introduce and study a framework that is inspired by the team semantics for propositional dependence logic but deviates from it in several respects. Most importantly, instead of the two semantic layers used in dependence logic – possible worlds and teams – a whole hierarchy of contexts is introduced and different types of formulas are evaluated at different levels of this hierarchy. This leads to a rich stratification of informational types. In this framework, the dependence operator of dependence logic can be defined by the standard propositional connectives (negation, conjunction, disjunction and implication). We explore the formal aspects of this approach and apply it to a number of puzzling phenomena related to modalities and conditionals.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology

Project
<a href="/en/project/GM21-23610M" target="_blank" >GM21-23610M: Logical Structure of Information Channels</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)