scientific article - MaRDI portal

zbMATH Open0311.02028MaRDI QIDQ4068699FDOQ4068699

Publication date: 1971

Title of this publication is not available (Why is that?)

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

Cited In (only showing first 100 items - show all)

Remarks on the modal logic of Henry Bradford Smith
Provability, truth, and modal logic
Temporal reference in linear tense logic
Canonicity for intensional logics without iterative axioms
Quantified temporal alethic boulesic doxastic logic
On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
On the interpolation property of some intuitionistic modal logics
Interpretability of various extensions of arithmetic
A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\)
Some kinds of modal completeness
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
Semantics for dual preferential entailment
A study of Kripke-type models for some modal logics by Gentzen's sequential method
Model theoretical aspects of weakly aggregative modal logic
On the computational complexity of bisimulation, redux
Knowledge Means ‘All’, Belief Means ‘Most’
Some paraconsistent sentential calculi
Two classes of intermediate propositional logics without disjunction property
A class of decidable information logics
How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic
Independent propositional modal logics
On the lattice of extensions of the modal logics \(KAlt_ n\)
Topological Interpretations of Provability Logic
A logic of comparative obligation
Resolution-based calculi for modal and temporal logics
Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
First-order indefinite and uniform neighbourhood semantics
Relating Truth, Knowledge and Belief in Epistemic States
STABLE MODAL LOGICS
Title not available (Why is that?)
Expressive power and semantic completeness: Boolean connectives in modal logic
Singulary extensional connectives: A closer look
A duality between Pawlak's knowledge representation systems and bi-consequence systems
Syntax and semantics of modal logics containing S4
A non-preferential semantics of non-monotonic modal logic
An algebraic study of well-foundedness
Decidable and undecidable logics with a binary modality
Propositional quantification in the topological semantics for \(\mathbf S4\)
Modal logics with the MacIntosh rule
Definability theorems in normal extensions of the provability logic
KRULL DIMENSION IN MODAL LOGIC
Continuum of normal extensions of the modal logic of provability with the interpolation property
Varieties of logical matrices
Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
Knowledge means ‘all’, belief means ‘most’
Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
An effective representation for finitely generated free interior algebras
On independent axiomatizability of quasi-normal modal logics
Hyperdiagonalizable algebras
Completeness and decidability results for some propositional modal logics containing ``actually operators
Variation on a trivialist argument of Paul Kabay
Rough polyadic modal logics
The inadequacy of the neighbourhood semantics for modal logic
3-SAT = SAT for a class of normal modal logics
Evidence and plausibility in neighborhood structures
A unified semantics for a family of modal logics with propositional constants
The logical study of science
The extensions of \(BAlt_3\)
Provability logic without Craig's interpolation property
A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
Dynamic Łukasiewicz logic and its application to immune system
A perspective on modal sequent logic
A logic for deontic dilemmas
Cut-free tableau calculi for some propositional normal modal logics
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
The power of a propositional constant
On the logic of belief and propositional quantification
Amalgamation and interpolation in normal modal logics
Everything else being equal: a modal logic for ceteris paribus preferences
Inference and necessity
The structure of lattices of subframe logics
Normal bimodal logics of ability and action
Time and modality in the logic of agency
Franco Montagna's work on provability logic and many-valued logic
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
Topology and duality in modal logic
An incomplete decidable modal logic
Interpolation in infinitely layered extensions of provability logic
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
First-order classical modal logic
The complexity of propositional linear temporal logics in simple cases
The finite inseparability of the first-order theory of diagonalisable algebras
Some results on modal axiomatization and definability for topological spaces
Liar-type paradoxes and the incompleteness phenomena
Simple weakly transitive modal algebras
Intuitionistic logic and modality via topology
On the axiomatization of finite K-frames
Logical equations and admissible rules of inference with parameters in modal provability logics
Mathematical modal logic: A view of its evolution
Der Verband der normalen verzweigten Modallogiken
Duality between modal algebras and neighbourhood frames
Around provability logic
The Lyndon property and uniform interpolation over the Grzegorczyk logic
Modal logics in the vicinity of S1
The modal logic of Gödel sentences
Two Logical Faces of Belief Revision
COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
The Lambek calculus extended with intuitionistic propositional logic
Post complete and 0-axiomatizable modal logics
Relational semantics of the Lambek calculus extended with classical propositional logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4068699)