scientific article; zbMATH DE number 3485746
From MaRDI portal
Publication:4068699
Cited in
(only showing first 100 items - show all)- Propositional quantification in the topological semantics for \(\mathbf S4\)
- A study of Kripke-type models for some modal logics by Gentzen's sequential method
- Resolution-based calculi for modal and temporal logics
- Some kinds of modal completeness
- On independent axiomatizability of quasi-normal modal logics
- An effective representation for finitely generated free interior algebras
- Continuum of normal extensions of the modal logic of provability with the interpolation property
- Canonicity for intensional logics without iterative axioms
- Quantified temporal alethic boulesic doxastic logic
- Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
- On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
- Standard state space models of unawareness (extended abstract)
- Provability, truth, and modal logic
- Hyperdiagonalizable algebras
- Varieties of logical matrices
- Completeness and decidability results for some propositional modal logics containing ``actually operators
- Knowledge means ‘all’, belief means ‘most’
- Variation on a trivialist argument of Paul Kabay
- A duality between Pawlak's knowledge representation systems and bi-consequence systems
- Some paraconsistent sentential calculi
- Syntax and semantics of modal logics containing S4
- Modal logics with the MacIntosh rule
- A non-preferential semantics of non-monotonic modal logic
- Topological interpretations of provability logic
- Definability theorems in normal extensions of the provability logic
- 3-SAT = SAT for a class of normal modal 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
- Knowledge means `all', belief means `most'
- Krull dimension in modal logic
- Remarks on the modal logic of Henry Bradford Smith
- A logic of comparative obligation
- A class of decidable information logics
- Stable modal logics
- Relating truth, knowledge and belief in epistemic states
- On the interpolation property of some intuitionistic modal logics
- How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
- Independent propositional modal logics
- Interpretability of various extensions of arithmetic
- Two classes of intermediate propositional logics without disjunction property
- Rough polyadic modal logics
- Model theoretical aspects of weakly aggregative modal logic
- On the computational complexity of bisimulation, redux
- Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
- Expressive power and semantic completeness: Boolean connectives in modal logic
- An algebraic study of well-foundedness
- The inadequacy of the neighbourhood semantics for modal logic
- Temporal reference in linear tense logic
- Decidable and undecidable logics with a binary modality
- On the lattice of extensions of the modal logics \(KAlt_ n\)
- Singulary extensional connectives: A closer look
- Semantics for dual preferential entailment
- A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\)
- Neighborhoods for entailment
- Arithmetical interpretations and Kripke frames of predicate modal logic of provability
- The Lyndon property and uniform interpolation over the Grzegorczyk logic
- On the axiomatisation of Elgesem's logic of agency and ability
- Cut-free sequent and tableau systems for propositional Diodorean modal logics
- The polytopologies of transfinite provability logic
- Evidence and plausibility in neighborhood structures
- A new solution to a problem of Hosoi and Ono
- What is the correct logic of necessity, actuality and apriority?
- An incomplete decidable modal logic
- Modal logics of domains on the real plane
- Modal logics in the vicinity of S1
- First-order classical modal logic
- On logics with coimplication
- A distinguishable model theorem for the minimal \(\text{US}\)-tense logic
- An essay in combinatory dynamic logic
- Post complete and 0-axiomatizable modal logics
- A perspective on modal sequent logic
- Representations of monadic MV-algebras
- Normal bimodal logics of ability and action
- Time and modality in the logic of agency
- Interpolation in infinitely layered extensions of provability logic
- Duality between modal algebras and neighbourhood frames
- Notes on conditional logic
- Modal logic with names
- A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\)
- A quantitative analysis of modal logic
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- The complexity of propositional linear temporal logics in simple cases
- Diodorean modality in Minkowski spacetime
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
- Pure extensions, proof rules, and hybrid axiomatics
- The power of a propositional constant
- Refutation systems in modal logic
- The modal logic of Gödel sentences
- Final coalgebras and the Hennessy-Milner property
- Substitution Frege and extended Frege proof systems in non-classical logics
- The finite inseparability of the first-order theory of diagonalisable algebras
- On the logic of belief and propositional quantification
- Non-adjunctive inference and classical modalities
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Some results on modal axiomatization and definability for topological spaces
- Amalgamation and interpolation in normal modal logics
- Modal tableau calculi and interpolation
- Continuity, freeness, and filtrations
- Dynamic Łukasiewicz logic and its application to immune system
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)
