Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Frame shapes, which are made of struts, have been widely used in many fields, such as art, sculpture, architecture, and geometric… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2015
2015
We prove, in the universe of trees of bounded height, that for any MSO formula with $m$ variables there exists a set of kernels… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2013
2013
It is well known that the constraint satisfaction problem over general relational structures can be reduced in polynomial time to… Expand
  • figure 1
  • figure 2
Is this relevant?
2012
2012
To better understand the potential long-term effects of biomass harvesting on biodiversity, the polyporoid fungi community was… Expand
  • table 1
  • table 1
  • figure 1
  • table 2
  • figure 2
Is this relevant?
2012
2012
Intuitionistic fuzzy rough sets are investigated in a general framework which includes generalizations of many related results in… Expand
  • table 1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
A new approach of integrated design and delivery solutions (IDDS) aims to radically improve the performance of the construction… Expand
  • figure 2
Is this relevant?
2008
2008
We examined tree mortality agents in pristine old Norway spruce (Picea abies (L.) Karst.) forests in northern Finland and… Expand
  • table 2
  • table 3
  • table 4
  • table 5
  • table 6
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The classical Particle Swarm Optimization is a powerful method to find the minimum of a numerical function, on a continuous… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • table 1
Is this relevant?
Highly Cited
1995
Highly Cited
1995
This paper presents a general framework for computing the asymptotic error probability (i.e., at high average SNRs) of M-ary and… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 5
  • figure 7
Is this relevant?
1975
1975
A new method for efficient recognition of general relational structures is described and compared with existing methods. Patterns… Expand
Is this relevant?