Sage Journals: Discover world-class research

Retricted access

Research article

First published 2002-3

A Complete Axiomatization of Process Temporal Logic

Magdalena Kacprzak

Fundamenta Informaticae

Retricted access

Research article

First published 2008-1

Invariance Under Stuttering in a Temporal Logic without the "Until" Operator

Michael Kaminski

Fundamenta Informaticae

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 2010-5

Implementing a fair monodic temporal logic prover

Michel Ludwig, Ullrich Hustadt

The European Journal on Artificial Intelligence

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

Retricted access

Research article

First published 2006-5

Automated reasoning in quantified modal and temporal logics

Claudio Castellini

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1988

A Temporal Logic for Event Structures

Wojciech Penczek

Fundamenta Informaticae

Retricted access

Research article

First published 2024-12

Temporal logics in geographical research on migration and refugees

Goshu Wolde Tefera, Alan Gamlen

Progress in Human Geography

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

Free access

Research article

First published 2006-2

Sequent Calculi for Temporal Logics of Common Knowledge and Belief

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Search results