scientific article

zbMath0311.02028MaRDI QIDQ4068699

Publication date: 1971

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items (only showing first 100 items - show all)

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property ⋮ Refutation systems in modal logic ⋮ Hyperdiagonalizable algebras ⋮ Minimal knowledge problem: A new approach ⋮ A criterion for admissibility of rules in the modal system S4 and intuitionistic logic ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics ⋮ Cut-free sequent and tableau systems for propositional Diodorean modal logics ⋮ An algebraic study of well-foundedness ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Semantics for dual preferential entailment ⋮ Maximality in modal logic ⋮ Interpretability of various extensions of arithmetic ⋮ Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic ⋮ Least fixed points in the Gödel-Löb logic ⋮ Liar-type paradoxes and the incompleteness phenomena ⋮ Interpretations of open default theories in non-monotonic logics ⋮ Topology and duality in modal logic ⋮ The Lambek calculus extended with intuitionistic propositional logic ⋮ The structure of lattices of subframe logics ⋮ Singulary extensional connectives: A closer look ⋮ On the lattice of extensions of the modal logics \(KAlt_ n\) ⋮ Pure extensions, proof rules, and hybrid axiomatics ⋮ First-order classical modal logic ⋮ Canonicity for intensional logics without iterative axioms ⋮ Two classes of intermediate propositional logics without disjunction property ⋮ A basic system of congruential-to-monotone bimodal logic and two of its extensions ⋮ Intuitionistic logic and modality via topology ⋮ Der Verband der normalen verzweigten Modallogiken ⋮ The modal logic of Gödel sentences ⋮ Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ A class of decidable information logics ⋮ Evidence and plausibility in neighborhood structures ⋮ A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\) ⋮ Provability, truth, and modal logic ⋮ Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics ⋮ Simple weakly transitive modal algebras ⋮ First-order indefinite and uniform neighbourhood semantics ⋮ Inference and necessity ⋮ Independent propositional modal logics ⋮ Pretabular varieties of modal algebras ⋮ Diodorean modality in Minkowski spacetime ⋮ Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras ⋮ A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\) ⋮ Some kinds of modal completeness ⋮ On the size of refutation Kripke models for some linear modal and tense logics ⋮ Loeb operators and interior operators ⋮ The logical study of science ⋮ Definability theorems in normal extensions of the provability logic ⋮ Relational semantics of the Lambek calculus extended with classical propositional logic ⋮ Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus ⋮ Continuum of normal extensions of the modal logic of provability with the interpolation property ⋮ Post complete and 0-axiomatizable modal logics ⋮ Strong completeness with respect to finite Kripke models ⋮ Logics for stable and unstable mereological relations ⋮ The Lyndon property and uniform interpolation over the Grzegorczyk logic ⋮ Solvability of logical equations in the modal system Grz and intuitionistic logic ⋮ Some descending chains of incomplete modal logics ⋮ A solution to a problem of Urquhart ⋮ Zolin and Pizzi: defining necessity from noncontingency ⋮ A perspective on modal sequent logic ⋮ 3-SAT = SAT for a class of normal modal logics ⋮ Amalgamation and interpolation in normal modal logics ⋮ Modal companions of intermediate propositional logics ⋮ A modal logic for cyclic repeating ⋮ Time and modality in the logic of agency ⋮ Normal bimodal logics of ability and action ⋮ Temporal reference in linear tense logic ⋮ On the computational complexity of bisimulation, redux ⋮ Monadic bounded algebras ⋮ Single variable formulas in S4 ⋮ Notes on conditional logic ⋮ Interpolation in infinitely layered extensions of provability logic ⋮ Subformula results in some propositional modal logics ⋮ The extensions of \(BAlt_3\) ⋮ Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI) ⋮ A study of Kripke-type models for some modal logics by Gentzen's sequential method ⋮ The power of a propositional constant ⋮ Provability logic without Craig's interpolation property ⋮ Syntax and semantics of modal logics containing S4 ⋮ Substitution Frege and extended Frege proof systems in non-classical logics ⋮ On logics with coimplication ⋮ On the axiomatization of finite K-frames ⋮ A non-preferential semantics of non-monotonic modal logic ⋮ Everything else being equal: a modal logic for ceteris paribus preferences ⋮ Around provability logic ⋮ Modal logics of domains on the real plane ⋮ The finite inseparability of the first-order theory of diagonalisable algebras ⋮ Modal tableau calculi and interpolation ⋮ Modal logic with names ⋮ An effective representation for finitely generated free interior algebras ⋮ Logical equations and admissible rules of inference with parameters in modal provability logics ⋮ Modal logics with the MacIntosh rule ⋮ An essay in combinatory dynamic logic ⋮ Some paraconsistent sentential calculi ⋮ Non-adjunctive inference and classical modalities ⋮ On the axiomatisation of Elgesem's logic of agency and ability ⋮ Representations of monadic MV-algebras ⋮ Some results on modal axiomatization and definability for topological spaces ⋮ A unified semantics for a family of modal logics with propositional constants

This page was built for publication: