Dugundji's theorem revisited

DOI10.1007/S11787-014-0106-4MaRDI QIDQ2254571zbMATH OpenOpenAlexFDO

Authors Newton M. Peron, Marcelo E. Coniglio

Publication date 5 February 2015

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-014-0106-4

zbMATH Keywords

modal logicsmatrix logicsDugundji's theoremtabularity property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

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)