Movatterモバイル変換

[0]ホーム
URL:

PhilPapersPhilPeoplePhilArchivePhilEventsPhilJobs

Works by Dirk Pattinson

(view other items matching `Dirk Pattinson`,view all matches )
7 found
Order:

1 filter applied
  1.  31
    Monotone Subintuitionistic Logic: Duality and Transfer Results.Jim de Groot &Dirk Pattinson -2022 -Notre Dame Journal of Formal Logic 63 (2):213-242.
    We consider subintuitionistic logics as an extension of positive propositional logic with a binary modality, interpreted over ordered and unordered monotone neighborhood frames, with a range of frame conditions. This change in perspective allows us to apply tools and techniques from the modal setting to subintuitionistic logics. We provide a Priestley-style duality, and transfer results from the (classical) logic of monotone neighborhood frames to obtain completeness, conservativity, and a finite model property for the basic logic, extended with a number of (...) axioms. (shrink)
    Direct download(2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  136
    Sequent Systems for Lewis' Conditional Logics.Björn Lellmann &Dirk Pattinson -2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin,Logics in Artificial Intelligence. Springer. pp. 320--332.
  3.  49
    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 (...) of the logic. Subsequently, we isolate properties which also ensure expressiveness of the logic, that is, logical and behavioral equivalence coincide. (shrink)
    Direct download(5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  137
    Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic.Björn Lellmann &Dirk Pattinson -2013 - In Kamal Lodaya,Logic and Its Applications. Springer. pp. 148--160.
  5.  21
    (2 other versions)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  
  6.  8
    On Modal Logics of Linear Inequalities.Clemens Kupke &Dirk Pattinson -1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev,Advances in Modal Logic. CSLI Publications. pp. 235-255.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  34
    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.
Export
Limit to items.
Filters





Configure languageshere.Sign in to use this feature.

Viewing options


Open Category Editor
Off-campus access
Using PhilPapers from home?

Create an account to enable off-campus access through your institution's proxy server or OpenAthens.

Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:

Email RSS feed
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct

CDPPhiosophy Documentation Center
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).

Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation

Server: philpapers-web-54b44b69b7-cj6sj uwo
[8]ページ先頭
©2009-2025 Movatter.jp