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)

Related topics

Related topics

8 relations
Admissible ruleKripke semanticsModal algebraModal companion

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
UTILIZING SUPRA α-OPEN SETS TO GENERATE NEW TYPES OF SUPRA COMPACT AND SUPRA LINDELÖF SPACES
The purpose of this article is to introduce the concepts of supra α-compact (supra α-Lindel¨of) spaces, almost supra α-compact… 
2009
2009
Interaction between EU law and international law in the light of Intertanko and Kadi: the dilemma of norms binding the Member States but not the Community
This Article addresses the legal question of the international obligations of one or more EU Member States that come within the… 
2007
2007
Uncertainty analysis in food engineering involving imprecision and randomness
During the cheese ripening, airflow pattern and climatic conditions inside cheese-ripening rooms are determinant for cheese… 
2006
2006
Ontology, reduction, emergence: A general frame
In a scientific context, ontological commitments should be considered as supervenient over accepted scientific theories. This… 
2001
2001
Content-fragile watermarking for image authentication
  • J. Dittmann
  • IS&T/SPIE Electronic Imaging
  • 2001
  • Corpus ID: 42831127
Fragile watermarking addresses the recognition of manipulations. In the moment most fragile watermarks are very sensitive to… 
1982
1982
NLI: a robust interface for natural language person-machine communication
1977
1977
Planning in the World of the Air Traffic Controller
An enroute air traffic control (ATC) simulation has provided the basis for research into the marriage of discrete simulation and… 
1977
1977
Plastic collapse of general frames
1975
1975
An Automatically Compilable Recognition Network For Structured Patterns
A new method for efficient recognition of general relational structures is described and compared with existing methods. Patterns… 
1969
1969
Ritva Jonsson. — 'Historia' , Études sur la genèse des offices versifiés.
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)