Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Finite_model_property> ?p ?o }
Showing triples 1 to 26 of
26
with 100 triples per page.
- Finite_model_property abstract "In logic, we say 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 that any non-theorem of L is falsified by some finite model in M. Another way of putting this is to say that L has the fmp if for every formula A of L, A is an L-theorem iff A is a theorem of the theory of finite models of L.If L is finitely axiomatizable (and has a recursive set of recursive rules) and has the fmp, then it is decidable. However, the strengthened claim that if L is recursively axiomatizable and the fmp then it is decidable, is false. Even if there are only finitely many finite models to choose from (up to isomorphism) there is still the problem of checking whether the underlying frames of such models validate the logic, and this may not be decidable when the logic is not finitely axiomatizable, even when it is recursively axiomatizable. (Note that a logic is recursively enumerable iff it is recursively axiomatizable, a result known as Craig's theorem.)".
- Finite_model_property wikiPageID "14842181".
- Finite_model_property wikiPageLength "1727".
- Finite_model_property wikiPageOutDegree "6".
- Finite_model_property wikiPageRevisionID "640519278".
- Finite_model_property wikiPageWikiLink Category:Logic.
- Finite_model_property wikiPageWikiLink Category:Modal_logic.
- Finite_model_property wikiPageWikiLink Craigs_theorem.
- Finite_model_property wikiPageWikiLink If_and_only_if.
- Finite_model_property wikiPageWikiLink Kripke_semantics.
- Finite_model_property wikiPageWikiLink Logic.
- Finite_model_property wikiPageWikiLinkText "Finite model property".
- Finite_model_property wikiPageWikiLinkText "finite model property".
- Finite_model_property wikiPageUsesTemplate Template:Reflist.
- Finite_model_property subject Category:Logic.
- Finite_model_property subject Category:Modal_logic.
- Finite_model_property hypernym M.
- Finite_model_property type Place.
- Finite_model_property comment "In logic, we say 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 that any non-theorem of L is falsified by some finite model in M. Another way of putting this is to say that L has the fmp if for every formula A of L, A is an L-theorem iff A is a theorem of the theory of finite models of L.If L is finitely axiomatizable (and has a recursive set of recursive rules) and has the fmp, then it is decidable.".
- Finite_model_property label "Finite model property".
- Finite_model_property sameAs Q5450401.
- Finite_model_property sameAs Propriedade_do_modelo_finito.
- Finite_model_property sameAs m.03gztm1.
- Finite_model_property sameAs Q5450401.
- Finite_model_property wasDerivedFrom Finite_model_property?oldid=640519278.
- Finite_model_property isPrimaryTopicOf Finite_model_property.