Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,553 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Admissible rule
Kripke semantics
Modal algebra
Modal companion
Expand
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
T. Al-shami
2017
Corpus ID: 126110961
The purpose of this article is to introduce the concepts of supra α-compact (supra α-Lindel¨of) spaces, almost supra α-compact…
Expand
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
Jan Willem van Rossem
2009
Corpus ID: 55742388
This Article addresses the legal question of the international obligations of one or more EU Member States that come within the…
Expand
2007
2007
Uncertainty analysis in food engineering involving imprecision and randomness
N. Perrot
2007
Corpus ID: 123383632
During the cheese ripening, airflow pattern and climatic conditions inside cheese-ripening rooms are determinant for cheese…
Expand
2006
2006
Ontology, reduction, emergence: A general frame
C. Moulines
Synthese
2006
Corpus ID: 30651602
In a scientific context, ontological commitments should be considered as supervenient over accepted scientific theories. This…
Expand
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…
Expand
1982
1982
NLI: a robust interface for natural language person-machine communication
G. Guida
,
C. Tasso
1982
Corpus ID: 62545527
1977
1977
Planning in the World of the Air Traffic Controller
R. Wesson
International Joint Conference on Artificial…
1977
Corpus ID: 11661916
An enroute air traffic control (ATC) simulation has provided the basis for research into the marriage of discrete simulation and…
Expand
1977
1977
Plastic collapse of general frames
I. Mcivor
,
A. Wineman
,
H. Wang
1977
Corpus ID: 54042044
1975
1975
An Automatically Compilable Recognition Network For Structured Patterns
F. Hayes-Roth
,
D. J. Mostow
International Joint Conference on Artificial…
1975
Corpus ID: 1298129
A new method for efficient recognition of general relational structures is described and compared with existing methods. Patterns…
Expand
1969
1969
Ritva Jonsson. — 'Historia' , Études sur la genèse des offices versifiés.
S. Corbin
1969
Corpus ID: 191797568
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)
ACCEPT & CONTINUE