Results 241 to 250 of about 16,441 (253)

An Event-Based Fragment of First-Order Logic over Intervals

Journal of Logic, Language and Information, 2010
Savas KONUR, KONUR Savas
exaly  

The decidability of the intensional fragment of classical linear logic

Theoretical Computer Science, 2015
Katalin Bimbo
exaly  

On expressive power of basic modal intuitionistic logic as a fragment of classical FOL

Journal of Applied Logic, 2017
Grigory Olkhovikov
exaly  

On the complexity of the closed fragment of Japaridze’s provability logic

Archive for Mathematical Logic, 2014
Fedor Pakhomov
exaly  

Complexity of the Two-Variable Fragment with Counting Quantifiers

Journal of Logic, Language and Information, 2005
Ian Pratt-Hartmann, Pratt-Hartmann Ian
exaly  

Non-commutative logic I: the multiplicative fragment

Annals of Pure and Applied Logic, 1999
Paul Ruet
exaly  

On the positive fragment of the polymodal provability logic GLP

Mathematical Notes, 2012
exaly  

Craig Interpolation Property in $$\exists \Box $$-Bundled Fragment of First-Order Modal Logic

Lecture Notes in Computer Science
Xun Wang
exaly  

“AND” logic gate recognition interface for phospholipids based on fragment imprinting

Journal of Colloid and Interface Science
Zhanfang Ma, Hongliang Han
exaly  

The Logic of Political Fragmentation

2013
openaire   +1 more source