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… 
2010
2010
Research on integrate robust control Method for High-Power Variable-Speed Governor of Diesel Engine by loop-shaping theory
This paper present integrate robust control Method for High-power Variable-Speed Governor of Diesel Engine by loop-shaping theory… 
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… 
2007
2007
NDVI-based vegetation rendering
The area of terrain rendering has seen great improvements both in rendering performance and image quality. The latest terrain… 
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… 
1987
1987
Modelling Operators in Accident Conditions: Advances and Perspectives on a Cognitive Model
1982
1982
NLI: a robust interface for natural language person-machine communication
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)