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

Journals (0)

1-10 of 16 results for Kripke relation

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Quantitative Analysis of Lattice-valued Kripke Structures

Retricted access

Research article

First published 2014-11

Quantitative Analysis of Lattice-valued Kripke Structures

Haiyu Pan, Min Zhang, Hengyang Wu [...]

Fundamenta Informaticae

Select article: Kripke modelling of multiple robots with decentralized cooperation specified with temporal logic

Retricted access

Research article

First published 2005-2

Kripke modelling of multiple robots with decentralized cooperation specified with temporal logic

S Jeyaraman, A Tsourdos, R Zbikowski [...]

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Select article: Many-Vawed Modal Logics II

Retricted access

Research article

First published 1992

Many-Vawed Modal Logics II

Melvin Fitting

Fundamenta Informaticae

Select article: A Modal-Logic Translation of the AGM Axioms for Belief Revision 1

Open access

Research article

First published 2025

A Modal-Logic Translation of the AGM Axioms for Belief Revision 1

Giacomo Bonanno

The European Journal on Artificial Intelligence

Select article: The Completeness of Typing for Context-Semantics

Retricted access

Research article

First published 2007-5

The Completeness of Typing for Context-Semantics

Thierry Coquand

Fundamenta Informaticae

Select article: Many-Valued Modal Logics

Retricted access

Research article

First published 1991

Many-Valued Modal Logics

Melvin C. Fitting

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: A Semantic Analysis of a Logic for Pragmatics with Assertions,Obligations,and Causal Implication

Retricted access

Research article

First published 2008-5

A Semantic Analysis of a Logic for Pragmatics with Assertions,Obligations,and Causal Implication

Kurt Ranalter

Fundamenta Informaticae

Select article: A Modal Semantics of Negation in Logic Programming

Retricted access

Research article

First published 1992

A Modal Semantics of Negation in Logic Programming

Philippe Balbiani

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

1
2
10 / page

Article type

Publication date

Subjects

Access