The following pages link to (Q4495853):
Displayed 24 items.
- General frames for relevant modal logics (Q558732) (← links)
- Dynamic extensions of arrow logic (Q598299) (← links)
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- Monadic bounded algebras (Q708923) (← 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)
- 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)
- PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← 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)