Results 121 to 130 of about 200,339 (137)
The Closed Fragment of the Interpretability Logic of PRA with a Constant for $\mathrm{I}\Sigma_1$ [PDF]
, 2005 Joost J. Joosten
openalex +1 more source
The intuitionistic fragment of computability logic at the propositional level [PDF]
, 2007 Giorgi Japaridze
openalex +1 more source
Lindstrom theorems for fragments of first-order logic [PDF]
, 2007 Balder ten Cate +2 more
openalex +1 more source
Closed Fragments of Provability Logics of Constructive Theories [PDF]
, 2008 Albert Visser
openalex +1 more source
The Complexity of Reasoning for Fragments of Default Logic [PDF]
, 2009 Olaf Beyersdorff +3 more
openalex +1 more source
Doing logic by computer: interpolation in fragments of intuitionistic propositional logic
, 2000 Lex Hendriks
openalex +1 more source
Modal Logic and the two-variable fragment (Revised Version)
, 2001 Carsten Lutz +2 more
openalex +2 more sources
Logic programming in a fragment of intuitionistic linear logic
, 2002 Joshua S. Hodas, Dale Miller
openalex +2 more sources