Pages that link to "Item:Q4586135"
From MaRDI portal
The following pages link to Finite non-deterministic semantics for some modal systems (Q4586135):
Displaying 8 items.
- Effective semantics for the modal logics K and KT via non-deterministic matrices (Q2104537) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
- Dugundji's theorem revisited (Q2254571) (← links)
- Swap structures semantics for Ivlev-like modal logics (Q2317515) (← links)
- MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY (Q4577994) (← links)
- Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’ (Q4586170) (← links)
- Society semantics and the logic way to collective intelligence (Q4586233) (← links)
