The following pages link to (Q4495853):
Displayed 46 items.
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- Natural duality, modality, and coalgebra (Q418910) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- Properties of saturation in monotonic neighbourhood models and some applications (Q495833) (← links)
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- General frames for relevant modal logics (Q558732) (← links)
- Dynamic extensions of arrow logic (Q598299) (← links)
- Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic (Q647319) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- Monadic bounded algebras (Q708923) (← links)
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- Restricted arrow (Q839646) (← links)
- Strong completeness and limited canonicity for PDL (Q1006490) (← links)
- Erratum to: ``Strong completeness and limited canonicity for PDL'' (Q1016034) (← links)
- Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator (Q1016093) (← links)
- Strong Boethius' thesis and consequential implication (Q1366766) (← links)
- Canonicity for intensional logics without iterative axioms (Q1368753) (← links)
- Ontologies for plane, polygonal mereotopology (Q1381436) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Local properties in modal logic (Q1761295) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Probability logic of finitely additive beliefs (Q1959219) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- From modal discourse to possible worlds (Q2500773) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Quasi-Modal Equivalence of Canonical Structures (Q2747700) (← links)
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study (Q2747941) (← links)
- Interpolation for first order S5 (Q3149986) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)
- Mereocompactness and Duality for Mereotopological Spaces (Q3305432) (← links)
- The Countable Henkin Principle (Q3454812) (← links)
- PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)
- On Some Modal Type Intuitionistic Fuzzy Operators (Q4558950) (← links)
- Mixed algebras and their logics (Q4586236) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
- (Q5101334) (← links)
- Ultraproducts of Admissible Models for Quantified Modal Logic (Q5213666) (← links)
- A logic for metric and topology (Q5718689) (← links)
- From modal logic to terminal coalgebras (Q5941165) (← links)
- What is the coalgebraic analogue of Birkhoff's variety theorem? (Q5958779) (← links)
- An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics (Q6094145) (← links)
- Normal companions of intuitionistic modal logics (Q6148006) (← links)
- Cover systems for the modalities of linear logic (Q6201546) (← links)