7 found
Order:
  1. Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic.Björn Lellmann & Dirk Pattinson - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 148--160.
  2.  6
    Monotone Subintuitionistic Logic: Duality and Transfer Results.Jim de Groot & Dirk Pattinson - 2022 - Notre Dame Journal of Formal Logic 63 (2).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Sequent Systems for Lewis' Conditional Logics.Björn Lellmann & Dirk Pattinson - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 320--332.
  4.  6
    Expressive Logics for Coalgebras Via Terminal Sequence Induction.Dirk Pattinson - 2004 - Notre Dame Journal of Formal Logic 45 (1):19-33.
    This paper presents a logical characterization of coalgebraic behavioral equivalence. The characterization is given in terms of coalgebraic modal logic, an abstract framework for reasoning about, and specifying properties of, coalgebras, for an endofunctor on the category of sets. Its main feature is the use of predicate liftings which give rise to the interpretation of modal operators on coalgebras. We show that coalgebraic modal logic is adequate for reasoning about coalgebras, that is, behaviorally equivalent states cannot be distinguished by formulas (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  10
    Hybrid Logic with the Difference Modality for Generalisations of Graphs.Robert S. R. Myers & Dirk Pattinson - 2010 - Journal of Applied Logic 8 (4):441-458.
  6.  2
    On Modal Logics of Linear Inequalities.Clemens Kupke & Dirk Pattinson - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 235-255.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  6
    Editorial: Math. Log. Quart. 1/2008.Josef Berger, Dirk Pattinson, Peter Schuster & Júlia Zappe - 2008 - Mathematical Logic Quarterly 54 (1):4-4.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark