Pages that link to "Item:Q3768873"
From MaRDI portal
The following pages link to The degree of the set of sentences of predicate provability logic that are true under every interpretation (Q3768873):
Displaying 10 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Decidable and enumerable predicate logics of provability (Q750418) (← links)
- Predicate provability logic with non-modalized quantifiers (Q1176101) (← links)
- In Memoriam: George Stephen Boolos 1940–1996 (Q3128484) (← links)
- Finite Kripke models and predicate logics of provability (Q3211282) (← links)
- Predicate Logics of Constructive Arithmetical Theories (Q3416116) (← links)
- On the degrees of unsolvability of modal predicate logics of provability (Q4292606) (← links)
- On first-order theories with provability operator (Q4323033) (← links)
- The complexity of the modal predicate logic of “true in every transitive model of ZF” (Q4382481) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)
