Open AccessInterpolation and implicit definability in extensions of the provability logic
Author(s) -
L. L. Maksimova
Publication year - 2008
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2008.008
Subject(s) - mathematics , interpolation (computer graphics) , property (philosophy) , class (philosophy) , pure mathematics , algebra over a field , discrete mathematics , computer science , artificial intelligence , motion (physics) , philosophy , epistemology