scientific article; zbMATH DE number 3485746
From MaRDI portal
Publication:4068699
Cited in
(only showing first 100 items - show all)- Evidence and plausibility in neighborhood structures
- A logic for epistemic two-dimensional semantics
- A note on the issue of cohesiveness in canonical models
- Priest on negation
- Provability, truth, and modal logic
- Willem Blok and modal logic
- Remarks on the modal logic of Henry Bradford Smith
- A unified semantics for a family of modal logics with propositional constants
- Temporal reference in linear tense logic
- The logical study of science
- Quantified temporal alethic boulesic doxastic logic
- On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
- Canonicity for intensional logics without iterative axioms
- Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI)
- Subformula results in some propositional modal logics
- The extensions of BAlt₃
- Interpretability of various extensions of arithmetic
- On the interpolation property of some intuitionistic modal logics
- Provability logic without Craig's interpolation property
- Theory and application of labelling techniques for interpretability logics
- On the finite model property of non-normal modal logics
- A modal calculus analogous to K4W, based on intuitionistic propositional logic, I^0
- Some kinds of modal completeness
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
- Dynamic Łukasiewicz logic and its application to immune system
- Semantics for dual preferential entailment
- Relating truth, knowledge and belief in epistemic states
- A perspective on modal sequent logic
- The decidability of normal K5 logics
- Ideal Related Algebras and Their Logics Extended Abstract
- scientific article; zbMATH DE number 7577569 (Why is no real title available?)
- A logic for deontic dilemmas
- A study of Kripke-type models for some modal logics by Gentzen's sequential method
- Cut-free tableau calculi for some propositional normal modal logics
- The power of a propositional constant
- Amalgamation and interpolation in normal modal logics
- On the computational complexity of bisimulation, redux
- On the logic of belief and propositional quantification
- Everything else being equal: a modal logic for ceteris paribus preferences
- Model theoretical aspects of weakly aggregative modal logic
- In search of a ``true logic of knowledge: The nonmonotonic perspective
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
- Krull dimension in modal logic
- Some paraconsistent sentential calculi
- Logics for propositional contingentism
- Inference and necessity
- Two classes of intermediate propositional logics without disjunction property
- Arithmetical interpretations and Kripke frames of predicate modal logic of provability
- The structure of lattices of subframe logics
- Normal bimodal logics of ability and action
- Time and modality in the logic of agency
- Minimal knowledge problem: A new approach
- QUANTIFIED MODAL RELEVANT LOGICS
- Knowledge means `all', belief means `most'
- Variants of multi-relational semantics for propositional non-normal modal logics
- Labelled sequent calculi for Lewis' non-normal propositional modal logics
- CARNAP’S PROBLEM FOR MODAL LOGIC
- On the number of different variables required to define the n-density or the bounded n-width of Kripke frames with some consequences for Sahlqvist formulae
- Modal completeness of sublogics of the interpretability logic IL
- In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
- Franco Montagna's work on provability logic and many-valued logic
- TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3
- Topology and duality in modal logic
- Interpolation in infinitely layered extensions of provability logic
- Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
- Neighbourhood semantics for modal relevant logics
- A Structure Theorem for Free Temporal Algebras
- A class of decidable information logics
- Recapturing dynamic logic of relation changers via bounded morphisms
- An incomplete decidable modal logic
- Independent propositional modal logics
- How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
- Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms
- On the lattice of extensions of the modal logics \(KAlt_ n\)
- A topological completeness theorem for transfinite provability logic
- What is the correct logic of necessity, actuality and apriority?
- A logic of comparative obligation
- Modal Logics of Some Hereditarily Irresolvable Spaces
- First-order classical modal logic
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
- 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
- The complexity of propositional linear temporal logics in simple cases
- Definability in the class of all KD45-frames -- computability and complexity
- First-order relevant reasoners in classical worlds
- Resolution-based calculi for modal and temporal logics
- Finite axiomatizability of transitive modal logics of finite depth and width with respect to proper-successor-equivalence
- The finite inseparability of the first-order theory of diagonalisable algebras
- Some observations on the FGH theorem
- Liar-type paradoxes and the incompleteness phenomena
- Some results on modal axiomatization and definability for topological spaces
- Simple weakly transitive modal algebras
- Intuitionistic logic and modality via topology
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
- Axiomatizing logics of fuzzy preferences using graded modalities
- On the axiomatization of finite K-frames
- Logical equations and admissible rules of inference with parameters in modal provability logics
- Combined covers and Beth definability
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)
