Gabbay, Dov M.,  1945- <br/><br/>
Interpolation and definability  modal and intuitionistic logic /  [electronic resource] : 
D.M. Gabbay, L. Maksimova. 
 - Oxford :  Oxford University Press,  2005. 
 - 1 online resource (xiv, 508 p.) :  ill. 
 - Oxford logic guides ;  46 .
 - Oxford logic guides ;  46. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/> This monograph looks at interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming philosophy of science, and natural language. 
<br/><br/><label>ISBN: </label> No price 9780198511748 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Modality (Logic)<br/>Interpolation.<br/>Definability theory (Mathematical logic)
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA9.46 
<br/><br/><label>Dewey Class. No.: </label>511.3