Results 111 to 120 of about 200,339 (137)
Logic Fragments: A Coordination Model Based on Logic Inference
, 2015 Francesco Luca De Angelis +1 more
openalex +1 more source
Reasoning in the Bernays-Schoenfinkel-Ramsey Fragment of Separation Logic
, 2016 Andrew Reynolds +2 more
openalex +2 more sources
The Triguarded Fragment of First-Order Logic
, 2018 Sebastian Rudolph, Mantas Šimkus
openalex +2 more sources
Gödel logics and the fully boxed fragment of LTL
, 2018 Matthias Baaz, Norbert Preining
openalex +2 more sources
John Burbidge. On Hegel’s Logic. Fragments of a commentary. Atlantic Highlands, N.J.: Humanities Press, 1981, 280 p. [PDF]
, 1983 Roger Lambert
openalex +1 more source
The Logic of Propagation Strategies: Axiomatizing a Fragment of Organizational Ecology in First-Order Logic [PDF]
, 1997 Gábor Péli, Michael Masuch
openalex +1 more source
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic
, 2018 Petr Cintula, George Metcalfe
openalex +2 more sources
Decidable fragments of first-order temporal logics [PDF]
, 2000 Ian Hodkinson +2 more
openalex +1 more source