Some remarks on equivalence in infinitary and stationary logic

DOI10.1305/NDJFL/1093870690zbMATH Open0554.03022OpenAlexW2090581211MaRDI QIDQ759747FDOQ759747

Matt Kaufmann

Publication date: 1984

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870690

zbMATH Keywords

stationary logic

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Cited In (2)

• Infinitary Equilibrium Logic and Strong Equivalence
• Infinitary definitions of equivalence relations in models of PA

Recommendations

• Almost Everywhere Equivalence of Logics in Finite Model Theory 👍 👎
• A note on extensions of infinitary logic 👍 👎
• Infinitary equilibrium logic and strongly equivalent logic programs 👍 👎
• Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic 👍 👎
• Infinitary Equilibrium Logic and Strong Equivalence 👍 👎
• A note on infinitary continuous logic 👍 👎
• A note on definability in equational logic 👍 👎
• Stationary sets and infinitary logic 👍 👎
• On equivalence of infinitary formulas under the stable model semantics 👍 👎
• On asymptotic divergency in equivalential logics 👍 👎

This page was built for publication: Some remarks on equivalence in infinitary and stationary logic

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