Dugundji's theorem revisited

DOI10.1007/S11787-014-0106-4zbMATH Open1330.03042OpenAlexW2152348170MaRDI QIDQ2254571FDOQ2254571

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

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\(_0\) 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

zbMATH Keywords

modal logicsmatrix logicsDugundji's theoremtabularity property

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Algebraic semantics for modal logics I
• Note on a property of matrices for Lewis and Langford's calculi of propositions
• Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
• Title not available (Why is that?)
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Extensions of the Lewis system S5
• Title not available (Why is that?)
• New foundations for Lewis modal systems
• Title not available (Why is that?)
• Five critical modal systems
• A new four-valued approach to modal logic
• Title not available (Why is that?)
• Fragments of the propositional calculus
• Family K of the non-Lewis modal systems
• A reduction in number of the postulates for C. I. Lewis’ system of strict implication

Cited In (13)

• Theory matrices (for modal logics) using alphabetical monotonicity
• FRACTIONAL-VALUED MODAL LOGIC
• The Dipper-Du conjecture revisited
• Title not available (Why is that?)
• Modal logic with non-deterministic semantics. I: Propositional case
• Title not available (Why is that?)
• Tree-like proof systems for finitely-many valued non-deterministic consequence relations
• Theorems of Kakutani and Dyson revisited
• Many-valued modalities and paraconsistency
• Title not available (Why is that?)
• 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)