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 (12)

Journals (0)

1-10 of 12 results for Branching-time temporal logics

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

Free access

Research article

First published 2007-2

Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Select article: CTL-RP: A computation tree logic resolution prover

Retricted access

Research article

First published 2010-5

CTL-RP: A computation tree logic resolution prover

Lan Zhang, Ullrich Hustadt, Clare Dixon

The European Journal on Artificial Intelligence

Select article: A Complete Axiomatization of Process Temporal Logic

Retricted access

Research article

First published 2002-3

A Complete Axiomatization of Process Temporal Logic

Magdalena Kacprzak

Fundamenta Informaticae

Select article: SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems

Retricted access

Research article

First published 2016

SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems

Bożena Woźna-Szcześniak

Fundamenta Informaticae

Select article: A Strong Completeness Result for a MAS Logic

Retricted access

Research article

First published 2006-8

A Strong Completeness Result for a MAS Logic

Magdalena Kacprzak

Fundamenta Informaticae

Select article: Verification of Timed Automata Based on Similarity

Retricted access

Research article

First published 2002-6

Verification of Timed Automata Based on Similarity

Piotr Dembiński, Agata Półrola

Fundamenta Informaticae

Select article: A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs

Retricted access

Research article

First published 2006-9

A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs

Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis

Fundamenta Informaticae

Select article: Axiom System Induced by CTL* Logic

Retricted access

Research article

First published 1991

Axiom System Induced by CTL* Logic

Maciej Koutny

Fundamenta Informaticae

Select article: Branching-Time Model Checking Gap-Order Constraint Systems

Retricted access

Research article

First published 2016-3-4

Branching-Time Model Checking Gap-Order Constraint Systems

Richard Mayr, Patrick Totzke

Fundamenta Informaticae

Select article: Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems

Retricted access

Research article

First published 2010-6

Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems

Alessio Lomuscio, Wojciech Penczek, Hongyang Qu

Fundamenta Informaticae

1
2
10 / page

Article type

Publication date

Subjects

Access