20 found
Sort by:
  1. Andrzej Indrzejczak (forthcoming). A Survey of Nonstandard Sequent Calculi. Studia Logica:1-28.
    The paper is a brief survey of some sequent calculi (SC) which do not follow strictly the shape of sequent calculus introduced by Gentzen. We propose the following rough classification of all SC: Systems which are based on some deviations from the ordinary notion of a sequent are called generalised; remaining ones are called ordinary. Among the latter we distinguish three types according to the proportion between the number of primitive sequents and rules. In particular, in one of these types, (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Andrzej Indrzejczak (forthcoming). Introduction. Studia Logica:1-4.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Andrzej Indrzejczak & Michał Zawidzki (2013). Decision Procedures for Some Strong Hybrid Logics. Logic and Logical Philosophy 22 (4):389-409.
    Hybrid logics are extensions of standard modal logics, which significantly increase the expressive power of the latter. Since most of hybrid logics are known to be decidable, decision procedures for them is a widely investigated field of research. So far, several tableau calculi for hybrid logics have been presented in the literature. In this paper we introduce a sound, complete and terminating tableau calculus T H(@,E,D, ♦ −) for hybrid logics with the satisfaction operators, the universal modality, the difference modality (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4. Andrzej Indrzejczak (2012). Cut-Free Hypersequent Calculus for S4. 3. Bulletin of the Section of Logic 41 (1/2):89-104.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Andrzej Indrzejczak (2011). Admissibility of Cut in Congruent Modal Logics. Logic and Logical Philosophy 20 (3):189-203.
    We present a detailed proof of the admissibility of cut in sequent calculus for some congruent modal logics. The result was announced much earlier during the Trends in Logic Conference, Toruń 2006 and the proof for monotonic modal logics was provided already in Indrzejczak [5]. Also some tableau and natural deduction formalizations presented in Indrzejczak [6] and Indrzejczak [7] were based on this result but the proof itself was not published so far. In this paper we are going to fill (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  6. Andrzej Indrzejczak (2011). Possible Worlds in Use. Studia Logica 99 (1-3):229-248.
    The paper is a brief survey of the most important semantic constructions founded on the concept of possible world. It is impossible to capture in one short paper the whole variety of the problems connected with manifold applications of possible worlds. Hence, after a brief explanation of some philosophical matters I take a look at possible worlds from rather technical standpoint of logic and focus on the applications in formal semantics. In particular, I would like to focus on the fruitful (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Andrzej Indrzejczak (2009). Konferencja Logiki Nieklasyczne - teoria i zastosowania. Ruch Filozoficzny 2 (2).
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  8. Andrzej Indrzejczak (2009). Suszko's Contribution to the Theory of Nonaxiomatic Proof Systems. Bulletin of the Section of Logic 38 (3/4):151-161.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Andrzej Indrzejczak (2008). Correspondence Theory in Proof Theory. Bulletin of the Section of Logic 37 (3/4):171-183.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Andrzej Indrzejczak (2007). Labelled Tableau Calculi for Weak Modal Logics. Bulletin of the Section of Logic 36 (3-4):159-173.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Andrzej Indrzejczak (2007). Modal Hybrid Logic. Logic and Logical Philosophy 16 (2-3):147-257.
    This is an extended version of the lectures given during the 12-th Conference on Applications of Logic in Philosophy and in the Foundations of Mathematics in Szklarska Poręba (7–11 May 2007). It contains a survey of modal hybrid logic, one of the branches of contemporary modal logic. In the first part a variety of hybrid languages and logics is presented with a discussion of expressivity matters. The second part is devoted to thorough exposition of proof methods for hybrid logics. The (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. Andrzej Indrzejczak (2005). Sequent Calculi for Monotonic Modal Logics. Bulletin of the Section of Logic 34 (3):151-164.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Andrzej Indrzejczak (2003). A Labelled Natural Deduction System for Linear Temporal Logic. Studia Logica 75 (3):345 - 376.
    The paper is devoted to the concise description of some Natural Deduction System (ND for short) for Linear Temporal Logic. The system's distinctive feature is that it is labelled and analytical. Labels convey necessary semantic information connected with the rules for temporal functors while the analytical character of the rules lets the system work as a decision procedure. It makes it more similar to Labelled Tableau Systems than to standard Natural Deduction. In fact, our solution of linearity representation is rather (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. Andrzej Indrzejczak (2002). Labelled Analytic Tableaux for S4. 3. Bulletin of the Section of Logic 31 (1):15-26.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Andrzej Indrzejczak (2002). Resolution Based Natural Deduction. Bulletin of the Section of Logic 31 (3):159-170.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Andrzej Indrzejczak (1999). A Survey of Natural Deduction Systems for Modal Logics. Logica Trianguli 3:55-84.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Andrzej Indrzejczak (1998). Jaśkowski and Gentzen Approaches to Natural Deduction and Related Systems. In. In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers. 253--264.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Andrzej Indrzejczak (1997). Generalised Sequent Calculus for Propositional Modal Logics. Logica Trianguli 1:15-31.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Andrzej Indrzejczak (1996). Cut-Free Sequent Calculus for S5. Bulletin of the Section of Logic 25 (2):95-102.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Andrzej Indrzejczak (1994). Natural Deduction System for Tense Logics. Bulletin of the Section of Logic 23 (4):173-179.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation