Dugundji's theorem revisited
From MaRDI portal
Publication:2254571
Recommendations
- The extensions of the modal logic K5
- A simple propositional \(\text{S}5\) tableau system
- Modal tableau calculi and interpolation
- On modal logics betweenK × K × KandS5 × S5 × S5
- scientific article; zbMATH DE number 3895038
- scientific article; zbMATH DE number 1612561
- scientific article; zbMATH DE number 2072494
- All finitely axiomatizable subframe logics containing the provability logic CSM₀ are decidable
- Finite non-deterministic semantics for some modal systems
- A simple incomplete extension of T which is the union of two complete modal logics with f. m. p
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3950473 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- scientific article; zbMATH DE number 3335866 (Why is no real title available?)
- scientific article; zbMATH DE number 3402571 (Why is no real title available?)
- A new four-valued approach to modal logic
- A reduction in number of the postulates for C. I. Lewis’ system of strict implication
- Algebraic semantics for modal logics I
- Extensions of the Lewis system S5
- Family K of the non-Lewis modal systems
- Five critical modal systems
- Fragments of the propositional calculus
- Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
- New foundations for Lewis modal systems
- Note on a property of matrices for Lewis and Langford's calculi of propositions
- Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
Cited in
(13)- Theory matrices (for modal logics) using alphabetical monotonicity
- FRACTIONAL-VALUED MODAL LOGIC
- The Dipper-Du conjecture revisited
- scientific article; zbMATH DE number 2096884 (Why is no real title available?)
- Modal logic with non-deterministic semantics. I: Propositional case
- scientific article; zbMATH DE number 850205 (Why is no real title available?)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
- Theorems of Kakutani and Dyson revisited
- Many-valued modalities and paraconsistency
- scientific article; zbMATH DE number 1665445 (Why is no real title available?)
- Finite non-deterministic semantics for some modal systems
- Non-deterministic logic of informal provability has no finite characterization
- Douglas factorization theorem revisited
This page was built for publication: Dugundji's theorem revisited
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2254571)