The following pages link to Dirk Pattinson (Q558416):
Displaying 50 items.
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- Cut elimination in coalgebraic logics (Q618171) (← links)
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Schulze voting as evidence carrying computation (Q1687758) (← links)
- A coordination approach to mobile components (Q1770368) (← links)
- A resolution-based calculus for preferential logics (Q1799110) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- A computational model for multi-variable differential calculus (Q1951598) (← links)
- Domain theoretic second-order Euler's method for solving initial value problems (Q2133471) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Hennessy-Milner properties for (modal) bi-intuitionistic logic (Q2303586) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Denotational semantics of hybrid automata (Q2643331) (← links)
- Hennessy-Milner properties via topological compactness (Q2672663) (← links)
- (Q2703697) (← links)
- (Q2762529) (← links)
- (Q2763651) (← links)
- Continuous Functions on Final Coalgebras (Q2805147) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic (Q2842556) (← links)
- (Q2843731) (← links)
- (Q2847816) (← links)
- Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5 (Q2851947) (← links)
- (Q2852369) (← links)
- (Q2863899) (← links)
- Admissibility of Cut in Coalgebraic Logics (Q2873670) (← links)
- Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description) (Q2891469) (← links)
- (Q2904057) (← links)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic (Q2936238) (← links)
- PSPACE bounds for rank-1 modal logics (Q2946571) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- A Van Benthem/Rosen theorem for coalgebraic predicate logic (Q2983396) (← links)
- Optimal Tableaux for Conditional Logics with Cautious Monotonicity (Q2999206) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- Cut Elimination for Shallow Modal Logics (Q3010370) (← links)
- Rank-1 Modal Logics are Coalgebraic (Q3056300) (← links)
- On the Fusion of Coalgebraic Logics (Q3090868) (← links)
- Named Models in Coalgebraic Hybrid Logic (Q3113787) (← links)
- Coalgebraic Predicate Logic (Q3167020) (← links)
- EXPTIME Tableaux for the Coalgebraic mu-Calculus (Q3224669) (← links)
- Representations of Stream Processors Using Nested Fixed Points (Q3401133) (← links)
- A Domain-Theoretic Account of Picard's Theorem (Q3430832) (← links)
- Optimal Tableau Algorithms for Coalgebraic Logics (Q3557073) (← links)
- Coalgebraic Correspondence Theory (Q3557860) (← links)
- Rank-1 Modal Logics Are Coalgebraic (Q3590964) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- EXPTIME Tableaux for the Coalgebraic μ-Calculus (Q3644748) (← links)
