Pages that link to "Item:Q377468"

From MaRDI portal

← Labeled sequent calculi for modal logics and implicit contractions (Q377468)

Jump to:navigation, search

What links here

⧼whatlinkshere-whatlinkshere-target⧽

Page:

⧼whatlinkshere-whatlinkshere-ns⧽

Namespace:

Invert selection

⧼whatlinkshere-whatlinkshere-filter⧽

Hide transclusions

Hide links

Hide redirects

The following pages link to Labeled sequent calculi for modal logics and implicit contractions (Q377468):

Displaying 3 items.

Labelled sequent calculi for Lewis' non-normal propositional modal logics (Q2243546) (← links)
Proofs and countermodels in non-classical logics (Q2254557) (← links)
Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic (Q3305558) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q377468"