Taming logic

DOI10.1007/BF01049413MaRDI QIDQ1909607zbMATH OpenOpenAlexFDO

Authors Maarten Marx, Szabolcs Mikulás, István Németi

Publication date 8 October 1996

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01049413

zbMATH Keywords

classical first-order logictamingarrow logicbad-behaving logicwell-behaving logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10)

Recommendations

• Taming first-order logic
• Taming paraconsistent (and other) logics: an algorithmic approach
• scientific article; zbMATH DE number 1047502
• Well-behaved modal logics

Cites work

• scientific article; zbMATH DE number 4148058 (Why is no real title available?)
• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 4089533 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 487145 (Why is no real title available?)
• scientific article; zbMATH DE number 1028830 (Why is no real title available?)
• scientific article; zbMATH DE number 834561 (Why is no real title available?)
• scientific article; zbMATH DE number 868084 (Why is no real title available?)
• scientific article; zbMATH DE number 868091 (Why is no real title available?)
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• A note on the tense logic of dominoes
• Aspects of philosophical logic. Some logical forays into central notions of linguistics and philosophy. (Proceedings of a workshop on formal semantics of natural languages which was held in Tübingen from the 1st to the 3rd of December 1977)
• Cylindric modal logic
• Decidability of Relation Algebras with Weakened Associativity
• Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?
• Multi-dimensional modal logic
• Representations of distributive lattice-ordered semigroups with binary relations
• Some Varieties Containing Relation Algebras

Cited in

(6)

• Complexity of equations valid in algebras of relations. II: Finite axiomatizations
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• scientific article; zbMATH DE number 1975027 (Why is no real title available?)
• A class of decidable information logics
• Undecidable relativizations of algebras of relations
• Perfect Pavelka logic

This page was built for publication: Taming logic

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