Results 1 to 10 of about 589 (50)
An axiomatization of the equivalential fragment of the three-valued logic of Ł ukasiewicz. [PDF]
, 1984 Jacek K. Kabziński
openalex +1 more source
The interpolation theorem in fragments of logics [PDF]
, 1981 Gerard R. Renardel de Lavalette
openalex +1 more source
Characterization of the axiomatizable prenex fragments of first-order Godel logics [PDF]
, 2004 Matthias Baaz +2 more
openalex +1 more source
A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic [PDF]
, 2005 Lev D. Beklemishev +2 more
openalex +1 more source
The complexity of satisfiability for fragments of hybrid logic—Part I [PDF]
, 2010 Arne Meier +5 more
openalex +1 more source
Algebraic logic for the negation fragment of classical logic [PDF]
, 2023 Luciano J. González
openalex +1 more source
A Fragment of Dependence Logic Capturing Polynomial Time [PDF]
, 2014 Johannes Ebbing +3 more
openalex +1 more source
Decision procedure for a fragment of quantified branching temporal logic
, 2002 Aida Pliuškevičienė
openalex +2 more sources
Belief Merging within Fragments of Propositional Logic [PDF]
, 2016 Nadia Creignou +3 more
openalex +1 more source