iSEEK - Education

and Marx (2003). The first paper gives a model-theoretic proof of interpolation whereas the second paper gives an algorithm for calculating interpolants based on a tableau system. It should also be mentioned that logics similar to hybrid logics play a central role within the ar...

plato.stanford.edu/entries/logic-hybrid/

Average Rating (0 votes)

Back to search results

Total time to process: 8469ms - Cache load: 0ms.

Recommend a site

Link:

Link is a required field.

Title:

Topic(s):

School Subject:

You must select at least one subject.

Type of Resource:

You must select at least one type of resource.

Grade Level:

Who would this resource
most benefit?:

Send Results to a Friend

Do you want to save this as a favorite page?

iSEEK provides users with a Favorites library that allows them easy access to their most-used websites from any computer. If you have an iSEEK account, the content you just selected can be added to your Favorites page to be revisited any time you want.

If you would like to join the iSEEK community, click the "Register" button below to create your free iSEEK account. The resource you have selected will be added to your new Favorites library after you sign in for the first time.

If you already have an iSEEK account, click the button below to sign in and add the resource to your Favorites library.

All Subjects
Art/Dance
Career Education
Civics/Government
Economics
English Language Arts
English as a Second Language
Foreign Languages
Global Studies
Health/Physical Education
History/Geography
Mathematics
Music/Theater
Philosophy
Psychology
Professional Development
Religion
School Adminstration
Special Education
Earth Science
Life Science
Physical Science
Technology