Sage Journals: Discover world-class research

Retricted access

Research article

First published 1992

A Modal Semantics of Negation in Logic Programming

Philippe Balbiani

Fundamenta Informaticae

Retricted access

Research article

First published 2003-5

A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs

Linh Anh Nguyen

Fundamenta Informaticae

Retricted access

Research article

First published 2000-4

Constructing the Least Models for Positive Modal Logic Programs

Linh Anh Nguyen

Fundamenta Informaticae

Retricted access

Research article

First published 2013-7

Effects of a Pre-Dialysis Patient Education Program on the Relative Frequencies of Dialysis Modalities

Werner Ribitsch, Bernd Haditsch, Ronald Otto [...]

Peritoneal Dialysis International: Journal of the International Society for Peritoneal Dialysis

Open access

Abstract

First published 2017-2

The Comparison of The Effectiveness of Physical And Electrotherapy Modalities Versus Home Exercises Program on Frozen Shoulder

Abdurrahim Yıldız, Gamze Kuş, Rüstem Mustafaoğlu [...]

Orthopaedic Journal of Sports Medicine

Retricted access

Research article

First published 1984

Modalities for Total Correctness

Luis Farinas del Cerro

Fundamenta Informaticae

Retricted access

Research article

First published 2017-1

Process-oriented dynamic group psychotherapy for depression as a teaching modality in a family medicine residency program— A pilot study

Eric P Simon, Richard McClaflin, Rachel Zonca [...]

The International Journal of Psychiatry in Medicine

Retricted access

Research article

First published 2018-02

Body System Effects of a Multi-Modal Training Program Targeting Chronic,Motor Complete Thoracic Spinal Cord Injury

Katie L. Gant, Kathleen G. Nagle, Rachel E. Cowan [...]

Journal of Neurotrauma

Retricted access

Research article

First published 2017-1-12

A 24-Week Multi-Modality Exercise Program Improves Executive Control in Older Adults with a Self-Reported Cognitive Complaint: Evidence from the Antisaccade Task

Matthew Heath, Erin Shellington, Sam Titheridge [...]

Journal of Alzheimer’s Disease

Retricted access

Research article

First published 2001-3

Iteration-free PDL with Intersection: a Complete Axiomatization

Philippe Balbiani, Dimiter Vakarelov

Fundamenta Informaticae

Search results