Pages that link to "Item:Q579232"
From MaRDI portal
The following pages link to Modal logics with several operators and probability interpretations (Q579232):
Displaying 14 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- The modal logic of pure provability (Q749522) (← 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)
- Sequent logic of arithmetic decidability (Q1866903) (← links)
- Undecidability of a second-order provability logic with operation of comparison of witnesses (Q1898556) (← links)
- Expressiveness of probabilistic modal logics: a gradual approach (Q2417857) (← links)
- Some considerations on the logics P<sub>F</sub>D A logic combining modality and probability (Q4354625) (← links)
- Bimodal logics for extensions of arithmetical theories (Q4879903) (← links)
- Probability as a modal operator: the possibilities of its combination with other modalities (Q5082347) (← links)
- (Q5111437) (← links)
- (Q5753929) (← links)