You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (20)

Journals (0)

1-10 of 20 results for Propositional temporal logic

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: On the Compactness Theorem of Propositional Temporal Logics

Retricted access

Research article

First published 1992

On the Compactness Theorem of Propositional Temporal Logics

Martin Leischner

Fundamenta Informaticae

Select article: An Automata-Theoretic Decision Procedure for Propositional Temporal Logic with Since and Until 1

Retricted access

Research article

First published 1992

An Automata-Theoretic Decision Procedure for Propositional Temporal Logic with Since and Until 1

Y.S. Ramakrishna, L.E. Moser, L.K. Dillon [...]

Fundamenta Informaticae

Select article: ON THE SATISFIABILITY PROBLEM FOR LAMPORT'S PROPOSITIONAL TEMPORAL LOGIC OF ACTIONS AND SOME OF ITS EXTENSIONS

Retricted access

Research article

First published 1995-12

ON THE SATISFIABILITY PROBLEM FOR LAMPORT'S PROPOSITIONAL TEMPORAL LOGIC OF ACTIONS AND SOME OF ITS EXTENSIONS

Y.S. Ramakrishna

Fundamenta Informaticae

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

Retricted access

Research article

First published 2008-1

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

Michael Kaminski

Fundamenta Informaticae

Select article: AXIOMATIZATIONS OF INTERVAL LOGICS

Retricted access

Research article

First published 1995-12

AXIOMATIZATIONS OF INTERVAL LOGICS

G. Kutty, L.E. Moser, P.M. Melliar-Smith [...]

Fundamenta Informaticae

Select article: Logical Analysis of Biological Systems

Retricted access

Research article

First published 2005-1

Logical Analysis of Biological Systems

Radu Mardare, Corrado Priami

Fundamenta Informaticae

Select article: Optimal path planning for surveillance with temporal-logic constraints *

Retricted access

Research article

First published 2011-12

Optimal path planning for surveillance with temporal-logic constraints *

Stephen L Smith, Jana Tůmová, Calin Belta [...]

The International Journal of Robotics Research

Select article: Temporal logic of common knowledge and its resolution-based proof method

Retricted access

Research article

First published 2018-11-20

Temporal logic of common knowledge and its resolution-based proof method

Hadi Farahani, Saman Moshiri

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

Select article: Representation and monitoring of commitments and norms using OWL

Retricted access

Research article

First published 2010-11

Representation and monitoring of commitments and norms using OWL

Nicoletta Fornara, Marco Colombetti

The European Journal on Artificial Intelligence

Select article: A Temporal Perspective of Merger and Acquisition and Strategic Alliance Initiatives

Retricted access

Research article

First published 2012-1

A Temporal Perspective of Merger and Acquisition and Strategic Alliance Initiatives

Weilei (Stone) Shi, Jing Sun, John E. Prescott

Journal of Management

1
2
10 / page

Article type

Publication date

Subjects

Access