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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1975-2016
05101519752016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
One-dimensional fragment of first-order logic is obtained by restricting quantification to blocks of existential quantifiers that… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2016
2016
A strongly polynomial sequence of graphs (Gn) is a sequence (Gn)n∈N of finite graphs such that, for every graph F , the number of… (More)
  • figure 1
  • figure 2
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… (More)
  • figure 1
  • 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… (More)
  • table 1
Is this relevant?
2009
2009
Connection matrices of graph parameters were first introduced by M. Freedman, L. Lovász and A. Schrijver (2007) to study the… (More)
Is this relevant?
2006
2006
In this article two game-theoretically flavored approaches to logic are systematically compared: dialogical logic founded by Paul… (More)
  • figure 1
  • figure 2
Is this relevant?
2003
2003
Broadcast schemes scale well in transporting popular movies in video-on-demand (VOD) systems. A large number of broadcast schemes… (More)
  • figure 1
  • figure 3
  • figure 10
  • figure 11
  • figure 9
Is this relevant?
1999
1999
  • MICHO DURDEVICH
  • 1999
A noncommutative-geometric generalization of the classical formalism of frame bundles is developed, incorporating into the theory… (More)
Is this relevant?
1996
1996
A noncommutative-geometric generalization of the classical formalism of frame bundles is developed, incorporating into the theory… (More)
Is this relevant?
1975
1975
A new method for efficient recognition of general relational structures is described and compared with existing methods. Patterns… (More)
Is this relevant?