Results 181 to 190 of about 5,293,142 (204)
Some of the next articles are maybe not open access.
Studia Logica, 2012
The author develops a modal logic with the modalities ``always necessary'' and ``sometimes necessary'', and dual modalities for possibility. He gives a Hilbert-style axiomatization, and an adequate semantics via Kripke frames with arbitrary families of accessibility relations. This logic has the finite model property and is, hence, decidable.
openaire +2 more sources
The author develops a modal logic with the modalities ``always necessary'' and ``sometimes necessary'', and dual modalities for possibility. He gives a Hilbert-style axiomatization, and an adequate semantics via Kripke frames with arbitrary families of accessibility relations. This logic has the finite model property and is, hence, decidable.
openaire +2 more sources
A review on the dynamic-mechanical behaviors of high-entropy alloys
Progress in Materials Science, 2023Shuxin Bai, Junwei Qiao, Ruixin Wang
exaly
Insights into the Dynamic Evolution of Defects in Electrocatalysts
Advanced Materials, 2023Shuangyin Wang, Hanwen Liu, Chao Xie
exaly
Sulfur in Dynamic Covalent Chemistry
Angewandte Chemie - International Edition, 2022Ricardo Furlan, A Gaston Orrillo
exaly
Dynamic Neural Networks: A Survey
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2022Yizeng Han, Le Yang, Yulin Wang
exaly
DYNAMIC DEVELOPMENT AND DYNAMIC EDUCATION
Monographs of the Society for Research in Child Development, 2007Jennifer M, Thomson, Kurt W, Fischer
openaire +2 more sources
A Survey on Embedding Dynamic Graphs
ACM Computing Surveys, 2023Matheus Ribeiro Furtado de Mendonça +1 more
exaly
Dynamic and post-dynamic recrystallization under hot, cold and severe plastic deformation conditions
Progress in Materials Science, 2014John Jonas, Hiromi Miura
exaly
Dynamic covalent polymers: Reorganizable polymers with dynamic covalent bonds
Progress in Polymer Science, 2009Atsushi Takahara +2 more
exaly
Dynamic capabilities: what are they?
Strategic Management Journal, 2000Jeffrey Martin, Kathleen M. Eisenhardt
exaly