Results 81 to 90 of about 1,467,572 (201)

A Logic with Reverse Modalities for History-preserving Bisimulations

, 2011
We introduce event identifier logic (EIL) which extends Hennessy-Milner logic by the addition of (1) reverse as well as forward modalities, and (2) identifiers to keep track of events. We show that this logic corresponds to hereditary history-preserving (
A. Joyal, A. Rabinovich, B. Steffen, Bas Luttik, F. Cherief, F. Laroussinie, F. Laroussinie, Frank Valencia, G. Boudol, G. Winskel, I.C.C. Phillips, Iain Phillips, Irek Ulidowski, J. Gutierrez, J. Gutierrez, L. Aceto, L. Pomello, M. Jurdzinski, M. Mukund, M. Nielsen, M. Nielsen, M. Nielsen, M.C.B. Hennessy, M.C.B. Hennessy, P. Baldan, P. Degano, R. De Nicola, R. De Nicola, R. De Nicola, R.J. van Glabbeek, R.J. van Glabbeek, R.J. van Glabbeek, S. Graf, S.B. Fröschle, S.B. Fröschle, S.B. Fröschle, U. Goltz, W. Penczek   +37 more
core   +2 more sources

Conceivability and Modal Knowledge [PDF]

, 2012
Christopher Hill contends that the metaphysical modalities can be reductively explained in terms of the subjunctive conditional and that this reductive explanation yields two tests for determining the metaphysical modality of a proposition. He goes on to
Casullo, Albert
core  

Forgery of Documents under Signature

EIRP Proceedings, 2022
In this paper we have examined the crime of forgery in private documents, in terms of elements of the structure of the crime, such as the objective side, the subjective side, forms, ways of sanctions and some procedural aspects.
Ion Rusu
doaj  

How New Digital-Based Service Offers Change Consumer Practices: A Theory of Social Practise (TSP) Approach

Marketing of Scientific and Research Organizations
This study investigates the transformative impact of digital service offers on consumer practices, utilizing the Theory of Social Practice (TSP) as a theoretical framework.
Kłeczek Ryszard, Pluta-Olearnik Mirosława, Pukas Anetta   +2 more
doaj   +1 more source

Will multimodal large language models ever achieve deep understanding of the world?

Frontiers in Systems Neuroscience
Despite impressive performance in various tasks, large language models (LLMs) are subject to the symbol grounding problem, so from the cognitive science perspective, one can argue that they are merely statistics-driven distributional models without a ...
Igor Farkaš, Michal Vavrečka, Michal Vavrečka, Stefan Wermter   +3 more
doaj   +1 more source

Changing Modalities

Journal of Logic and Computation, 2004
The paper is devoted to an investigation of properties of dynamic modal logics with some interesting and rich features. A dynamic modal logic DML and its extension \(\mu\)DML are presented. They were developed in order to unify and extend dynamic epistemic logics proposed before in another paper by the author.
openaire   +2 more sources

Psychoeducation of higher education seekers with using of the resource-oriented model of stress resiliency in war conditions

Medičnì Perspektivi
The article presents the study results of resiliency modalities and the content of psychoeducational measures for higher education seekers in war conditions. The purpose of the study was to increase the effectiveness and to balance resiliency modalities
V.V. Ogorenko , A.E. Nikolenko , T.Y. Shusterman, V.O. Kokashynskyi, A.B. Khotimska, M.H. Koren   +5 more
doaj   +1 more source

A CRISPR/Cas9 screen reveals proteins at the endosome-Golgi interface that modulate cellular anti-sense oligonucleotide activity

Nature Communications
Anti-sense oligonucleotides (ASOs) are modified synthetic single-stranded molecules with enhanced stability, activity, and bioavailability. They associate with RNA through sequence complementarity and can reduce or alter mRNA expression upon binding of ...
Liza Malong, Jessica Roskosch, Carolina Hager, Jean-Philippe Fortin, Roland Schmucki, Marinella G. Callow, Christian Weile, Valentina Romeo, Christoph Patsch, Scott Martin, Mike Costa, Zora Modrusan, Roberto Villaseñor, Erich Koller, Benjamin Haley, Anne Spang, Filip Roudnicky   +16 more
doaj   +1 more source

Minimal hepatic encephalopathy: Characteristics and comparison of the main diagnostic modalities

Clinical & Experimental Hepatology
According to the latest clinical guidelines, minimal hepatic encephalopathy (MHE) is diagnosed by using a single test for which the center has experience and local norms. Nowadays, several tests are available.
Nikola Mumdzhiev, Rumen V. Tenev, Mariana P. Radicheva   +2 more
doaj   +1 more source

Modal definability in Euclidean modal logics

CoRR
This paper is about the computability of the modal definability problem in classes of frames determined by Euclidean modal logics. We characterize those Euclidean modal logics such that the classes of frames they determine give rise to an undecidable modal definability problem.
Philippe Balbiani, Tinko Tinchev
openaire   +2 more sources