Finite model property

Known as: FMP 
In logic, a logic L has the finite model property (fmp for short) if there is a class of models M of L (i.e. each model in M is a model of L) such… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
Digital artifacts on social media can challenge individuals during identity transitions, particularly those who prefer to delete… (More)
  • table 1
Is this relevant?
2013
2013
A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on… (More)
Is this relevant?
2011
2011
Capitalising on the graph-theoretic account of fibring proposed in [31], we show that fibring preserves the finite model property… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?
2007
2007
In this paper, we will show some logic has the finite model property by using filtration method. Although the filtration method… (More)
Is this relevant?
2006
2006
This paper presents a decision procedure for the alternatingtime μ-calculus. The algorithm is based on a representation of… (More)
Is this relevant?
2004
2004
It is well known that many two-dimensional products of modal logics with at least one ‘transitive’ (but not ‘symmetric… (More)
  • figure 1
  • figure 2
Is this relevant?
2000
2000
It follows from algebraic results of Maddux that every multi-modal logic L such that [S5, S5,. .. , S5] ⊆ L ⊆ S5 n is undecidable… (More)
Is this relevant?
1997
1997
To show that a formula A is not provable in propositional classical logic, it suuces to exhibit a nite boolean model which does… (More)
Is this relevant?
1993
1993
An old conjecture of modal logics states that every splitting of the major systems K4, S4 and Grz has the finite model property… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
In mono-modal logic there is a fair number of high-powered results on completeness covering large classes of modal systems… (More)
Is this relevant?