scientific article; zbMATH DE number 1489632
From MaRDI portal
Publication:4495853
Recommendations
Cited in
(59)- Strong completeness and limited canonicity for PDL
- Erratum to: ``Strong completeness and limited canonicity for PDL
- Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator
- Strong Boethius' thesis and consequential implication
- Canonicity for intensional logics without iterative axioms
- Ontologies for plane, polygonal mereotopology
- Mathematical modal logic: A view of its evolution
- Local properties in modal logic
- Canonical extensions and ultraproducts of polarities
- Probability logic of finitely additive beliefs
- Modality and constitution in distinctively mathematical explanations
- Automated theorem proving by resolution in non-classical logics
- From modal discourse to possible worlds
- A modal proof theory for final polynomial coalgebras
- Modality, quantification, and many Vlach-operators
- Quasi-modal equivalence of canonical structures
- Many-sorted coalgebraic modal logic: A model-theoretic study
- Interpolation for first order S5
- Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
- Mereocompactness and Duality for Mereotopological Spaces
- The countable Henkin principle
- PDL with intersection of programs: a complete axiomatization
- Bare canonicity of representable cylindric and polyadic algebras
- Natural duality, modality, and coalgebra
- scientific article; zbMATH DE number 1301897 (Why is no real title available?)
- Approximating Markov processes through filtration
- On Some Modal Type Intuitionistic Fuzzy Operators
- Mixed algebras and their logics
- Erdős Graphs Resolve Fine's Canonicity Problem
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
- scientific article; zbMATH DE number 6174934 (Why is no real title available?)
- Properties of saturation in monotonic neighbourhood models and some applications
- A dichotomy for some elementarily generated modal logics
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
- Modal meet-implication logic
- Ultraproducts of admissible models for quantified modal logic
- `Rolling down the river': Saul Kripke and the course of modal logic
- General frames for relevant modal logics
- A logic for metric and topology
- From modal logic to terminal coalgebras
- What is the coalgebraic analogue of Birkhoff's variety theorem?
- Dynamic extensions of arrow logic
- An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics
- Normal companions of intuitionistic modal logics
- Cover systems for the modalities of linear logic
- Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic
- Grishin algebras and cover systems for classical bilinear logic
- Saul Kripke on modal logic
- A study on some classes of distributive lattices with a generalized implication
- A variant of the lindenbaum lemma for infinitary closure systems
- Intuitionistic \textsf{S4} as a logic of topological spaces
- Soundness-preserving fusion of modal logics in Coq
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
- Monadic bounded algebras
- Beyond quantum individuals: Quasi-sets and the philosophy of quantum logics
- Intuitionistic monotone modal logic via translation
- Neighbourhood and algebraic models for predicate modal logics with -rules
- A categorical outlook on relational modalities and simulations
- Restricted arrow
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 Q4495853)
