Zobrazeno 1 - 10
of 57
pro vyhledávání: '"Bernhard Heinemann"'
Publikováno v:
Vibration, Vol 7, Iss 1, Pp 1-35 (2023)
Shockmounts in naval applications are used to mount technical equipment onto the structure of naval vessels. The insulating effect against mechanical shock is important here, as it can excite the structure in the event of underwater explosions and ot
Externí odkaz:
https://doaj.org/article/7859b1752f944314963ddaf0c8b7d4c1
Publikováno v:
Heliyon, Vol 9, Iss 6, Pp e16743- (2023)
Shockmounts are widely used to isolate sensitive equipment from vibrations and mechanical shock. Despite the highly dynamic nature of shock events, the force-displacement-characteristics of shockmounts which are provided by manufacturers are gained b
Externí odkaz:
https://doaj.org/article/5cfd3a35632548b28b966e5cf2468d04
Publikováno v:
SSRN Electronic Journal.
Autor:
Bernhard Heinemann
Publikováno v:
Studia Logica. 108:1207-1234
In this paper, a particular extension of the constitutive bi-modal logic for single-agent subset spaces will be provided. That system, which originally was designed for revealing the intrinsic relationship between knowledge and topology, has been dev
Autor:
Bernhard Heinemann
Publikováno v:
Journal of Logic and Computation. 29:1099-1120
Among other things, this article makes a small contribution to the field of bi-topological modal logic, as it is examined herein to what extent Moss and Parikh's logic of subset spaces, LSS, is topologically relevant. For that purpose, several spatia
Autor:
Bernhard Heinemann
Publikováno v:
Knowledge Science, Engineering and Management ISBN: 9783319476490
KSEM
KSEM
In this paper, we propose an additional application area of the subset space semantics of modal logic in terms of cooperating agents. While the original conception reflects both the knowledge acquisition process and the accompanying topological effec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca3cc6eeda9c9dbb373beced8a0bc419
https://doi.org/10.1007/978-3-319-47650-6_40
https://doi.org/10.1007/978-3-319-47650-6_40
Autor:
Bernhard Heinemann
Publikováno v:
Logical Foundations of Computer Science ISBN: 9783319276823
LFCS
LFCS
Subsequently, a particular extension of the bi-modal logic of subset spaces, LSS, to the case of several agents will be provided. The basic system, which originally was designed for revealing the intrinsic relationship between knowledge and topology,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::362bf4bfdec3ab5497228c3d72df90a7
https://doi.org/10.1007/978-3-319-27683-0_10
https://doi.org/10.1007/978-3-319-27683-0_10
Autor:
Bernhard Heinemann
Publikováno v:
Studia Logica. 94:23-45
We extend Moss and Parikh’s modal logic for subset spaces by adding, among other things, state-valued and set-valued functions. This is done with the aid of some basic concepts from hybrid logic. We prove the soundness and completeness of the deriv
Autor:
Bernhard Heinemann
Publikováno v:
Journal of Applied Non-Classical Logics. 20:219-240
We generalize Moss and Parikh's logic of knowledge, effort, and topological reasoning, in two ways. We develop both a multi-agent and a multi-method setting for it. In each of these cases, we prove...
Autor:
Bernhard Heinemann
Publikováno v:
Journal of Logic, Language and Information. 17:19-41
We extend Moss and Parikh's bi-modal system for knowledge and effort by means of hybrid logic. In this way, some additional concepts from topology related to knowledge can be captured. We prove the soundness and completeness as well as the decidabili