scientific article

zbMATH Open0595.03009MaRDI QIDQ3726082

Satoshi Miura

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

two-sorted predicate logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On modal logics conservative over intuitionistic predicate calculus 👍 👎
• Embedding modal nonmonotonic logics into default logic 👍 👎
• Modal logics and mu-calculi: An introduction 👍 👎
• Modal Foundations for Predicate Logic 👍 👎
• Embeddings of propositional monomodal logics 👍 👎
• Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3726082)