Analyzing completeness of axiomatic functional systems for temporal × modal logics

2010 ◽  
Vol 56 (1) ◽  
pp. 89-102 ◽  
Author(s):  
Alfredo Burrieza ◽  
Inmaculada P. de Guzmán ◽  
Emilio Muñoz-Velasco
Keyword(s):  
Modal Logics ◽  
Functional Systems

Functional systems in the context of temporal×modal logics with indexed flows

2009 ◽  
Vol 86 (10-11) ◽  
pp. 1696-1706 ◽  
Author(s):  
A. Burrieza ◽  
I. P. de Guzmán ◽  
E. Muñoz-Velasco
Keyword(s):  
Modal Logics ◽  
Functional Systems

Modal logics with Belnapian truth values

2010 ◽  
Vol 20 (3) ◽  
pp. 279-304 ◽  
Author(s):  
Serge P Odintsov ◽  
Heinrich Wansing
Keyword(s):  
Modal Logics ◽  
Truth Values

scholarly journals Novel nucleic acid origami structures and conventional molecular beacon–based platforms: a comparison in biosensing applications

2021 ◽  
Author(s):  
Noemi Bellassai ◽  
Roberta D’Agata ◽  
Giuseppe Spoto
Keyword(s):  
Nucleic Acid ◽  
Structural Properties ◽  
Molecular Beacon ◽  
Dna Origami ◽  
Molecular Beacons ◽  
Conformational Polymorphism ◽  
Functional Systems ◽  
Similarities And Differences ◽  
Nucleic Acid Structures ◽  
Nucleic Acid Sequences

AbstractNucleic acid nanotechnology designs and develops synthetic nucleic acid strands to fabricate nanosized functional systems. Structural properties and the conformational polymorphism of nucleic acid sequences are inherent characteristics that make nucleic acid nanostructures attractive systems in biosensing. This review critically discusses recent advances in biosensing derived from molecular beacon and DNA origami structures. Molecular beacons belong to a conventional class of nucleic acid structures used in biosensing, whereas DNA origami nanostructures are fabricated by fully exploiting possibilities offered by nucleic acid nanotechnology. We present nucleic acid scaffolds divided into conventional hairpin molecular beacons and DNA origami, and discuss some relevant examples by focusing on peculiar aspects exploited in biosensing applications. We also critically evaluate analytical uses of the synthetic nucleic acid structures in biosensing to point out similarities and differences between traditional hairpin nucleic acid sequences and DNA origami. Graphical abstract

scholarly journals On modal logics arising from scattered locally compact Hausdorff spaces

2019 ◽  
Vol 170 (5) ◽  
pp. 558-577
Author(s):  
Guram Bezhanishvili ◽  
Nick Bezhanishvili ◽  
Joel Lucero-Bryan ◽  
Jan van Mill
Keyword(s):  
Modal Logics ◽  
Hausdorff Spaces ◽  
Locally Compact

ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY

1991 ◽  
Vol 36 (2) ◽  
pp. 369-390
Author(s):  
V V Rybakov
Keyword(s):  
Modal Logics

Modal logics of domains on the real plane

Studia Logica ◽  
1983 ◽  
Vol 42 (1) ◽  
pp. 63-80 ◽  
Author(s):  
V. B. Shehtman
Keyword(s):  
Modal Logics ◽  
Real Plane ◽  
The Real
Sign in / Sign up

Export Citation Format

Share Document