Synonymous logics

DOI10.1023/A:1024248828122zbMath1030.03019MaRDI QIDQ1404389

Francis Jeffry Pelletier, Alasdair Urquhart

Publication date: 21 August 2003

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

modal logictranslationsynonymy

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (17)

Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) ⋮ Glymour and Quine on theoretical equivalence ⋮ From geometry to conceptual relativity ⋮ Quine's conjecture on many-sorted logic ⋮ The semi Heyting-Brouwer logic ⋮ Gentzen-style sequent calculus for semi-intuitionistic logic ⋮ The Versatility of Universality inPrincipia Mathematica ⋮ Synonymous logics: a correction ⋮ MORITA EQUIVALENCE ⋮ Notational variance and its variants ⋮ ON DEFINABILITY IN MULTIMODAL LOGIC ⋮ DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE ⋮ Possibility and dyadic contingency ⋮ Freeing Structural Realism from Model Theory ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics ⋮ On some semi-intuitionistic logics ⋮ A Logical Autobiography

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equivalential logics. I
• Constructivism in mathematics. An introduction. Volume II
• Theory of logical calculi. Basic theory of consequence operations
• Modal system S4.4
• Reduction of tense logic to modal logic. I
• Reduction of tense logic to modal logic II
• Some theorems about the sentential calculi of Lewis and Heyting
• Boolean Algebras with Operators. Part I
• Theory of Matroids
• Homeomorphism and the equivalence of logical systems

This page was built for publication: Synonymous logics