Pages that link to "Item:Q579232"
From MaRDI portal
The following pages link to Modal logics with several operators and probability interpretations (Q579232):
Displaying 6 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Provability logics for natural Turing progressions of arithmetical theories (Q804564) (← links)
- Independent numerations of theories and recursive progressions (Q1204765) (← links)
- Rosser and Mostowski sentences (Q1263586) (← links)
- On bimodal logics of provability (Q1332858) (← links)
- Bimodal logics for extensions of arithmetical theories (Q4879903) (← links)