Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016

Temporal normal form for Linear Temporal Logic formulae 1

Hui-Xian Shi, Yong-Ming Li

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Free access

Research article

First published 2012-8

Applications of Finite Linear Temporal Logic to Piecewise Linear Aggregates

Henrikas Pranevicius, Stanislovas Norgėla

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2024

Searching for Linearity: Reconstructive Processes Reverse Temporal Scrambling in Memory for Movie Scenes

Matteo Frisoni, Annalisa Tosoni, Alessia Bufagna [...]

Psychological Reports

Retricted access

Research article

First published 2011-1

A Paraconsistent Linear-time Temporal Logic

Norihiro Kamide, Heinrich Wansing

Fundamenta Informaticae

Retricted access

Research article

First published 2007-11

Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous

Vladimir V. Rybakov

Fundamenta Informaticae

Retricted access

Research article

First published 2017-8-9

Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations

Artur Męski, Maciej Koutny, Wojciech Penczek

Fundamenta Informaticae

Retricted access

Research article

First published 1998-10

Adding Partial Orders to Linear Temporal Logic

Girish Bhat, Doron Peled

Fundamenta Informaticae

Open access

Research article

First published 2026

(Non-)Linear Temporality and the Migration Decision from a Life Course Perspective

Nazanin Zahabkar Aghdam, Marion Hitzeroth

Migration and Development

Retricted access

Research article

First published 1997-11

Working Memory Constraints on Linear Reasoning with Spatial and Temporal Contents

Andre Vandierendonck, Gino De Vooght

Quarterly Journal of Experimental Psychology

Retricted access

Research article

First published 2019-1

In one’s own time: Contesting the temporality and linearity of bereavement

Katherine Kenny, Alex Broom, Emma Kirby [...]

Health: An Interdisciplinary Journal for the Social Study of Health,Illness and Medicine

Search results