Pages that link to "Item:Q4918381"
From MaRDI portal
The following pages link to ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY (Q4918381):
Displaying 11 items.
- On predicate provability logics and binumerations of fragments of Peano arithmetic (Q377475) (← links)
- On classes of arithmetical counterparts of modal provability logics (Q922522) (← links)
- Modal-epistemic variants of Shapiro's system of epistemic arithmetic (Q1344441) (← links)
- On inclusions between quantified provability logics (Q2115286) (← links)
- A remark on propositional Kripke frames sound for intuitionistic logics (Q2904065) (← links)
- Kripke Models Built from Models of Arithmetic (Q3455186) (← links)
- (Q3679154) (← links)
- Rosser Orderings in Bimodal Logics (Q4206710) (← links)
- Some results on Kripke models over an arbitrary fixed frame (Q4434503) (← links)
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)