Logic and structure.
From MaRDI portal
Publication:5916300
zbMath0714.03001MaRDI QIDQ5916300
Publication date: 5 June 1993
Published in: Universitext (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Classical propositional logic (03B05)
Related Items
On pushout consistency, modularity and interpolation for logical specifications, The importance of open and recursive circumscription, An epistemic operator for description logics, Semantical analysis of specification logic, A globalization of the Hahn-Banach theorem, Continuations in possible-world semantics, Decision procedures for extensions of the theory of arrays, Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule, Automatic decidability and combinability, A Tool for Analysing Logics, Temporal Here and There, Unawareness and partitional information structures, On the Structure of Natural Deduction Derivations for “Generally”, An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models, Completeness results for circumscription
