Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Craig's theoremKripke semantics

Broader (1)

Modal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Knowledge reasoning approach with linguistic-valued intuitionistic fuzzy credibility
Linguistic term evaluations are always collected from two opposite sides at the same time in an assessment system. To process the… 
2015
2015
Fault Movement Potentials in the Tehran-Semnan Region (North Iran)
The major Quaternary faults in the Tehran-Semnan region can be classified based on their strikes into three sets: northeast… 
2010
2010
Differently implicational universal triple I method of (1, 2, 2) type
2008
2008
UNIFIED FORMS OF FUZZY SIMILARITY INFERENCE METHOD FOR FUZZY REASONING AND FUZZY SYSTEMS
A novel fuzzy reasoning method, called FSI (fuzzy similarity inference) is investigated in this paper. Firstly, the unified forms… 
Highly Cited
2007
Highly Cited
2007
Palaeolimnological evidence for the independent evolution of neighbouring terminal lakes, the Murray Darling Basin, Australia
The estuary of the lower River Murray features a complex mosaic of lakes, coastal lagoons and interconnecting channels. The… 
2003
2003
A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with… 
Highly Cited
2002
Highly Cited
2002
Wireless drive and control of a swimming microrobot
A swimming microrobot actuated by two FMP (ferromagnetic polymer) fins was developed. The robot could be driven by external… 
2000
2000
The application of operational research to European air traffic flow management - understanding the context
1986
1986
Facile Activation of Sepharose Hydroxyl Groups by 2-Fluoro-1 Methylpyridinium Toluene-4-Sulfonate: Preparation of Affinity and Covalent Chromatographic Matrices
A facile method for activating hydroxyl groups of Sepharose gel using 2-fluoro-1-methylpyridinium toluene-4-sulfonate (FMP) in… 
Highly Cited
1977
Highly Cited
1977
ON PROGRAMMING WITH FUZZY CONSTRAINT SETS
Two solution concepts for a FMP problem are suggested. The first one makes use of level sets of the fuzzy set of feasible… 
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)