Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,993,490 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Craig's theorem
Kripke semantics
Broader (1)
Modal logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Economic Status Report Summary: BSAI Crab Fisheries, 2016
B. Garber-Yonts
,
J. T. Lee
2016
Corpus ID: 133676161
The BSAI crab fisheries managed under the North Pacific Fishery Management Council’s Fishery Management Plan (FMP) for Bering Sea…
Expand
2010
2010
Disjunction Property and Finite Model Property for An Intuitionistic Epistemic Logic
Yoichi Hirai
2010
Corpus ID: 43254173
We show finite model property, disjunction property and decidability for an intuitionistic epistemic logic IEC. Intuitionistic…
Expand
2009
2009
trEAtmENt of DIStAl frACturES of thE tIbIA
J. Franco
,
Anselmo Fernandes da Silva
,
+5 authors
F. B. Reis
2009
Corpus ID: 51812929
Objective: to compare the results of fibula fixation (or non fixation) in the treatment of fractures located in the distal third…
Expand
2009
2009
Final amendment 3 to the fishery management plan (FMP) for the Northeast Skate Complex and final environmental impact statement (FEIS) with an initial Regulatory Flexibility Act analysis
Patricia A. Kurkul
,
E. Schwaab
2009
Corpus ID: 134828439
2008
2008
Antibacterial activity of solvent fractions of crude water decoction of apical twigs and latex of Calotropis procera (Ait.) R. Br.
Farzin M. Parabia
,
I. L. Kothari
,
M. Parabia
2008
Corpus ID: 86011106
Water decoction of Calotropis procera (Ait.) R.Br. is reported as a purulent wound healer in Indian System of Medicine — Ayurveda…
Expand
2008
2008
UNIFIED FORMS OF FUZZY SIMILARITY INFERENCE METHOD FOR FUZZY REASONING AND FUZZY SYSTEMS
Degang Wang
,
Wenyan Song
,
Hongxing Li
2008
Corpus ID: 17077817
A novel fuzzy reasoning method, called FSI (fuzzy similarity inference) is investigated in this paper. Firstly, the unified forms…
Expand
2007
2007
Evaluation of Wave Model Performance in a North Carolina Test Bed
E. Devaliere
,
J. Hanson
,
R. Luettich
2007
Corpus ID: 55201885
An instrumented model test bed, set up in coastal North Carolina, is employed to evaluate the performance of a regional SWAN…
Expand
2004
2004
TRANSITION FROM LOW TO HIGH DATA RICHNESS: AN EXPERIMENT IN ECOSYSTEM-BASED FISHERY MANAGEMENT FROM CALIFORNIA
L. Kaufman
,
B. Heneman
,
J. Barnes
,
R. Fujita
2004
Corpus ID: 19383678
Fisheries can cause major impacts on ecosystems, but the goal of managing them sustainably requires more and different…
Expand
Highly Cited
2002
Highly Cited
2002
Wireless drive and control of a swimming microrobot
T. Mei
,
Yong Chen
,
Guoqiang Fu
,
Deyi Kong
Proceedings IEEE International Conference on…
2002
Corpus ID: 9130265
A swimming microrobot actuated by two FMP (ferromagnetic polymer) fins was developed. The robot could be driven by external…
Expand
1999
1999
Improving the Accuracy of Predicted Basal-Area Diameter Distribution in Advanced Stands by Determining Stem
Silva Fennica
1999
Corpus ID: 31016144
The objective of this paper was to study to what extent the accuracy of predicted basalarea diameter distributions (DDG) could be…
Expand