Skip to search formSkip to main contentSkip to account menu

General frame

Known as: Jonsson-Tarski duality, Jónsson-Tarski duality, Jónsson–Tarski duality 
In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The purpose of this article is to introduce the concepts of supra α-compact (supra α-Lindel¨of) spaces, almost supra α-compact… 
2009
2009
This Article addresses the legal question of the international obligations of one or more EU Member States that come within the… 
2007
2007
During the cheese ripening, airflow pattern and climatic conditions inside cheese-ripening rooms are determinant for cheese… 
2001
2001
  • J. Dittmann
  • 2001
  • Corpus ID: 42831127
Fragile watermarking addresses the recognition of manipulations. In the moment most fragile watermarks are very sensitive to… 
1977
1977
An enroute air traffic control (ATC) simulation has provided the basis for research into the marriage of discrete simulation and… 
1975
1975
A new method for efficient recognition of general relational structures is described and compared with existing methods. Patterns…