Pages that link to "Item:Q4809503"
From MaRDI portal
The following pages link to On some properties of complete by expressibility systems of formulas in the Gödel–Löb provability logic (Q4809503):
Displaying 6 items.
- Two notions of compactness in Gödel logics (Q817682) (← links)
- Global neighbourhood completeness of the Gödel-Löb provability logic (Q1685941) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- On the absence of finite approximation relative to model completeness in propositional provability logic (Q2833438) (← links)
- A formal reduction of the general problem of expressibility of formulas in the Gödel-Löb provability logic (Q4809578) (← links)
- (Q5873989) (← links)