Taming logic

DOI10.1007/BF01049413zbMath0847.03013OpenAlexW4241621245MaRDI QIDQ1909607

Maarten Marx, Szabolcs Mikulás, Istvan 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)

Related Items

Undecidable relativizations of algebras of relations, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Complexity of equations valid in algebras of relations. II: Finite axiomatizations, A class of decidable information logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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)
• A note on the tense logic of dominoes
• Multi-dimensional modal logic
• Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?
• Representations of distributive lattice-ordered semigroups with binary relations
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• Some Varieties Containing Relation Algebras
• Decidability of Relation Algebras with Weakened Associativity
• Cylindric modal logic