scientific article
From MaRDI portal
Publication:3952081
zbMath0491.03003MaRDI QIDQ3952081
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicdeducibilityabstract propositional logicclassification of logics on the basis of the general properties of their operators
Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical propositional logic (03B05)
Related Items
Negative modalities, consistency and determinedness, Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors, ‘Transitivity’ of Consequence Relations, A duality between Pawlak's knowledge representation systems and bi-consequence systems, The logic of non-contingency, Necessity and contingency, A basic system of congruential-to-monotone bimodal logic and two of its extensions, Classes of valuations closed under operations Galois-dual to Boolean sentence connectives, CLASSICALLY ARCHETYPAL RULES, Inverse images of box formulas in modal logic, LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT, What is a logical theory? On theories containing assertions and denials, Non-transitive correspondence analysis, Variation on a trivialist argument of Paul Kabay, Replacement in logic, Minimally congruential contexts: observations and questions on embedding E in K, Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness, Homeomorphism and the equivalence of logical systems, Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5, Expressive power and semantic completeness: Boolean connectives in modal logic, Notational variance and its variants, Bimodal logic with contingency and accident: bisimulation and axiomatizations, Default logic generalized and simplified, Sequent calculi for global modal consequence relations, Zero-place operations and functional completeness, and the definition of new connectives, Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
