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

Journals (0)

1-10 of 24 results for Kripke semantics

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: A NEW INCOMPLETENESS RESULT IN KRIPKE SEMANTICS

Retricted access

Research article

First published 1995-12

A NEW INCOMPLETENESS RESULT IN KRIPKE SEMANTICS

Olivier Gasquet

Fundamenta Informaticae

Select article: Duality via Truth for Information Algebras Based on De Morgan Lattices *

Retricted access

Research article

First published 2016

Duality via Truth for Information Algebras Based on De Morgan Lattices *

Anna Maria Radzikowska

Fundamenta Informaticae

Select article: Avoiding logical omniscience and perfect reasoning: a survey

Retricted access

Research article

First published 1998-5

Avoiding logical omniscience and perfect reasoning: a survey

Antonio Moreno

The European Journal on Artificial Intelligence

Select article: Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic

Open access

Research article

First published 2019

Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic

Toshihiko Kurata, Ken-etsu Fujita

Fundamenta Informaticae

Select article: Propositional Logics of Formal Languages

Retricted access

Research article

First published 1984

Propositional Logics of Formal Languages

Slavian Radev

Fundamenta Informaticae

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: Representation Theorems for Lattice-ordered Modal Algebras and their Axiomatic Extensions *

Retricted access

Research article

First published 2016

Representation Theorems for Lattice-ordered Modal Algebras and their Axiomatic Extensions *

Anna Maria Radzikowska

Fundamenta Informaticae

Select article: Stratified,Weak Stratified,and Three-Valued Semantics 1

Retricted access

Research article

First published 1990

Stratified,Weak Stratified,and Three-Valued Semantics 1

Melvin Fitting, Marion Ben-Jacob

Fundamenta Informaticae

Select article: Iteration-free PDL with Intersection: a Complete Axiomatization

Retricted access

Research article

First published 2001-3

Iteration-free PDL with Intersection: a Complete Axiomatization

Philippe Balbiani, Dimiter Vakarelov

Fundamenta Informaticae

Select article: POSSIBLE WORLDS SEMANTICS FOR DEFAULT LOGICS

Retricted access

Research article

First published 1994-2

POSSIBLE WORLDS SEMANTICS FOR DEFAULT LOGICS

Philippe Besnard, Torsten Schaub

Fundamenta Informaticae

1
2
3
10 / page

Article type

Publication date

Subjects

Access