Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Kimmel, Pierre"'
Autor:
Kimmel, Pierre
Le développement de nouveaux formalismes logiques est au cœur de nombreuses problématiques de méthodes formelles. Ces formalismes doivent répondre à la fois à des impératifs de modélisation (ils doivent permettre de décrire certains systèm
Externí odkaz:
http://www.theses.fr/2018LORR0299/document
We present a substructural epistemic logic, based on Boolean BI, in which the epistemic modalities are parametrized on agents' local resources. The new modalities can be seen as generalizations of the usual epistemic modalities. The logic combines Bo
Externí odkaz:
http://arxiv.org/abs/1909.07296
Publikováno v:
Int. Workshop Substructural Logics: Semantics, Proof Theory and Applications, SYSMICS 2018
Int. Workshop Substructural Logics: Semantics, Proof Theory and Applications, SYSMICS 2018, 2018, Vienna, Austria
Int. Workshop Substructural Logics: Semantics, Proof Theory and Applications, SYSMICS 2018, 2018, Vienna, Austria
International audience; In this work we present this epistemic resource logic ERL, based on Boolean BI, in which the epistemic modalities are parametrized on agents' local resources. The new modalities can be seen as generalizations of the usual epis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::30b564e608965afe7a51ec0f2b07ede5
https://hal.univ-lorraine.fr/hal-02986789
https://hal.univ-lorraine.fr/hal-02986789
Publikováno v:
Logic & Its Applications (9783662540688); 2017, p106-122, 17p
