scientific article; zbMATH DE number 3485746
From MaRDI portal
Publication:4068699
Cited in
(only showing first 100 items - show all)- Substitution Frege and extended Frege proof systems in non-classical logics
- A non-preferential semantics of non-monotonic modal logic
- Everything else being equal: a modal logic for ceteris paribus preferences
- Around provability logic
- An effective representation for finitely generated free interior algebras
- Some paraconsistent sentential calculi
- Hyperdiagonalizable algebras
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- An algebraic study of well-foundedness
- Maximality in modal logic
- Interpretability of various extensions of arithmetic
- Topology and duality in modal logic
- On the lattice of extensions of the modal logics \(KAlt_ n\)
- Two classes of intermediate propositional logics without disjunction property
- A class of decidable information logics
- 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
- 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
- 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
- Strong completeness with respect to finite Kripke models
- 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
- A perspective on modal sequent logic
- 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
- Single variable formulas in S4
- Subformula results in some propositional modal logics
- The extensions of BAlt₃
- 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
- Provability logic without Craig's interpolation property
- On logics with coimplication
- Modal logic with names
- Modal logics with the MacIntosh rule
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
- Refutation systems in modal logic
- Minimal knowledge problem: A new approach
- Cut-free sequent and tableau systems for propositional Diodorean modal logics
- Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic
- Least fixed points in the Gödel-Löb logic
- Interpretations of open default theories in non-monotonic logics
- The structure of lattices of subframe logics
- Singulary extensional connectives: A closer look
- Canonicity for intensional logics without iterative axioms
- A basic system of congruential-to-monotone bimodal logic and two of its extensions
- Propositional quantification in the topological semantics for S4
- Neighborhoods for entailment
- Mathematical modal logic: A view of its evolution
- Sequent systems for negative modalities
- Quantification in some non-normal modal logics
- A second pretabular classical relevance logic
- Deontic STIT logic, from logical paradox to security policy
- Canonical extensions and ultraproducts of polarities
- Varieties of logical matrices
- Duality between modal algebras and neighbourhood frames
- Convergence of positive schemes in S4 and Int
- The complexity of propositional linear temporal logics in simple cases
- In search of a ``true logic of knowledge: The nonmonotonic perspective
- A new solution to a problem of Hosoi and Ono
- A duality between Pawlak's knowledge representation systems and bi-consequence systems
- Decidable and undecidable logics with a binary modality
- On the interpolation property of some intuitionistic modal logics
- A distinguishable model theorem for the minimal \(\text{US}\)-tense logic
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
- A logic of comparative obligation
- Modal logics in the vicinity of S1
- Modal extensions of sub-classical logics for recovering classical logic
- Axiomatising the Prior future in predicate logic
- Explicit definitions of implicitly definable objects in some modal logics
- Recapturing dynamic logic of relation changers via bounded morphisms
- Axiomatizing logics of fuzzy preferences using graded modalities
- Lattices of finitely alternative normal tense logics
- On independent axiomatizability of quasi-normal modal logics
- Combination of uniform interpolants via Beth definability
- Combined covers and Beth definability
- Dynamic Łukasiewicz logic and its application to immune system
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
- Model theoretical aspects of weakly aggregative modal logic
- Simplified Kripke-style semantics for some normal modal logics
- A note on the issue of cohesiveness in canonical models
- On the logic of belief and propositional quantification
- Labelled sequent calculi for Lewis' non-normal propositional modal logics
- How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic
- Expressive power and semantic completeness: Boolean connectives in modal logic
- Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
- An analog of Beth's theorem in normal extensions of the modal logic K4
- Actuality in propositional modal 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)
