scientific article; zbMATH DE number 1163390

zbMATH Open0953.03024MaRDI QIDQ4394919

Vladimir Rybakov

Publication date: 11 June 1998

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

zbMATH Keywords

complexityfirst-order theoriesKripke style semanticsalgorithm for recognizing admissibilitydecidable logic of schemes

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07)

Related Items (2)

Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ Title not available (Why is that?)

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 Q4394919)