scientific article; zbMATH DE number 1138595

MaRDI QIDQ4383726zbMATH OpenFDO

Authors Andrzej Pietruszczak

Publication date 2 November 1998

zbMATH Keywords

first-order logicmodelmonadic formulamonadic predicate logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07) Model theory of finite structures (03C13)

Recommendations

• scientific article; zbMATH DE number 4170882
• Model theory of monadic predicate logic with the infinity quantifier
• Expressing cardinality quantifiers in monadic second-order logic over chains
• Expressing cardinality quantifiers in monadic second-order logic over trees
• scientific article; zbMATH DE number 2038747
• scientific article; zbMATH DE number 3966046
• Almost Everywhere Equivalence of Logics in Finite Model Theory
• On random models of finite power and monadic logic
• Publication:4888338
• Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus

Cited in

(6)

• Pure modal logic of names and tableau systems
• Model theory of monadic predicate logic with the infinity quantifier
• On first-order expressibility of satisfiability in submodels
• Monadic predicate calculus with equality arithmetized à la Leibniz
• scientific article; zbMATH DE number 4170882 (Why is no real title available?)
• Maximale monadische Logiken

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