scientific article; zbMATH DE number 3603256
From MaRDI portal
zbMath0388.03006MaRDI QIDQ4168590
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Development of contemporary mathematics (01A65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03)
Related Items
From axioms to synthetic inference rules via focusing, Unwinding modal paradoxes on digraphs, Modal logics, justification logics, and realization, On the canonicity of Sahlqvist identities, Continuity, freeness, and filtrations, Nested sequents for intuitionistic modal logics via structural refinement, Deontic action logic, atomic Boolean algebras and fault-tolerance, Modal logics in the theory of relational databases, A deep inference system for the modal logic S5, Elementary generation and canonicity for varieties of Boolean algebras with operators, Ceteris paribus conditionals and comparative normalcy, Pure extensions, proof rules, and hybrid axiomatics, Modal logics in the vicinity of S1, Russell and his sources for non-classical logics, Two semantical approaches to paraconsistent modalities, Existential definability of modal frame classes, Axiomatizing hybrid logic using modal logic, Quantifiers as modal operators, Multimodal incompleteness under weak negations, On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1, A note on the issue of cohesiveness in canonical models, From worlds to possibilities, Mathematical modal logic: A view of its evolution, Hilbert-style presentations of two logics associated to tetravalent modal algebras, Post complete and 0-axiomatizable modal logics, When hyperpropositions meet \(\dots\), Unnamed Item, A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence, A unified framework for hypothetical and practical reasoning (1): Theoretical foundations, Where have all the Californian tense-logicians gone?, Coherence for modalities, Normal bimodal logics of ability and action, A canonical topological model for extensions of K4, Characterisation of main classes of fuzzy relations using fuzzy modal operators, Alternative semantics for unawareness, Presheaf semantics and independence results for some non-classical first- order logics, Multicomponent proof-theoretic method for proving interpolation properties, Canonical extensions and ultraproducts of polarities, On ultrafilter extensions of first-order models and ultrafilter interpretations, A non-preferential semantics of non-monotonic modal logic, Completeness and incompleteness for anodic modal logics, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS, Quantified modal logic: non-normal worlds and propositional attitudes, A simple deduction method for modal logic, Final coalgebras and the Hennessy-Milner property, Modal logics with the MacIntosh rule, Decidability by filtrations for graded normal logics. (Graded modalities. V), A goal-directed decision procedure for hybrid PDL, Characterizing the common prior assumption., Conditional excluded middle in systems of consequential implication
