# Finite model property

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Review

2016

Review

2016

- CHI
- 2016

Digital artifacts on social media can challenge individuals during identity transitions, particularly those who prefer to deleteâ€¦Â (More)

Is this relevant?

2013

2013

- TACL
- 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

- J. Log. Comput.
- 2011

Capitalising on the graph-theoretic account of fibring proposed in [31], we show that fibring preserves the finite model propertyâ€¦Â (More)

Is this relevant?

2007

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

- CSL
- 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

- 2004

It is well known that many two-dimensional products of modal logics with at least one â€˜transitiveâ€™ (but not â€˜symmetricâ€¦Â (More)

Is this relevant?

2000

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

- J. Symb. Log.
- 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

- J. Symb. Log.
- 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

- J. Symb. Log.
- 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?