Pages that link to "Item:Q1288137"
From MaRDI portal
The following pages link to Irreflexive modality in the intuitionistic propositional logic and Novikov completeness (Q1288137):
Displaying 6 items.
- Irreflexive modality as a new logical connective in the Dummett logic (Q467677) (← links)
- Irreflexive modality, the Dummett logic, and continual chains (Q721381) (← links)
- New intuitionistic logical constants and Novikov completeness (Q1970642) (← links)
- On an extension of Gabbay's logic (Q1972663) (← links)
- Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness (Q2026740) (← links)
- Dummett Logic, Irreflexive Modality and Novikov Completeness (Q5214742) (← links)