Pages that link to "Item:Q4323033"
From MaRDI portal
The following pages link to On first-order theories with provability operator (Q4323033):
Displaying 5 items.
- Local consistency of arithmetic with an ''attainability'' predicate (Q1075323) (← links)
- The disjunction and existence properties for axiomatic systems of truth (Q1118582) (← links)
- Predicate logics of expressively strong theories (Q1582839) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Explicit Provability and Constructive Semantics (Q2732527) (← links)
