Pages that link to "Item:Q5216977"
From MaRDI portal
The following pages link to MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION (Q5216977):
Displaying 5 items.
- A unified semantics for a family of modal logics with propositional constants (Q263107) (← links)
- Modal metatheory for quantified modal logic, with and without the Barcan formulas (Q1982016) (← links)
- Observations on the trivial world (Q2051134) (← links)
- Paraconsistent metatheory: new proofs with old tools (Q2155941) (← links)
- (Q5091146) (← links)