22 found
Order:
  1.  8
    Andrzej Indrzejczak (1997). Generalised Sequent Calculus for Propositional Modal Logics. Logica Trianguli 1:15-31.
    The paper contains an exposition of some non standard approach to gentzenization of modal logics. The first section is devoted to short discussion of desirable properties of Gentzen systems and the short review of various sequential systems for modal logics. Two non standard, cut-free sequent systems are then presented, both based on the idea of using special modal sequents, in addition to usual ones. First of them, GSC I is well suited for nonsymmetric modal logics The second one, GSC II (...)
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  2.  7
    Andrzej Indrzejczak (2012). Cut-Free Hypersequent Calculus for S4. 3. Bulletin of the Section of Logic 41 (1/2):89-104.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  9
    Andrzej Indrzejczak, Natural Deduction.
    Natural Deduction Natural Deduction is a common name for the class of proof systems composed of simple and self-evident inference rules based upon methods of proof and traditional ways of reasoning that have been applied since antiquity in deductive practice. The first formal ND systems were independently constructed in the 1930s by G. Gentzen and S. Jaśkowski and … Continue reading Natural Deduction →.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  9
    Kaja Bednarska & Andrzej Indrzejczak (2015). Hypersequent Calculi for S5: The Methods of Cut Elimination. Logic and Logical Philosophy 24 (3):277–311.
  5.  12
    Andrzej Indrzejczak (2009). Suszko's Contribution to the Theory of Nonaxiomatic Proof Systems. Bulletin of the Section of Logic 38 (3/4):151-161.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  14
    Andrzej Indrzejczak (2007). Labelled Tableau Calculi for Weak Modal Logics. Bulletin of the Section of Logic 36 (3-4):159-173.
  7.  14
    Andrzej Indrzejczak (2002). Labelled Analytic Tableaux for S4. 3. Bulletin of the Section of Logic 31 (1):15-26.
  8.  12
    Andrzej Indrzejczak (2008). Correspondence Theory in Proof Theory. Bulletin of the Section of Logic 37 (3/4):171-183.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  51
    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)  
     
    Export citation  
     
    My bibliography  
  10.  3
    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-thConference on Applications of Logic in Philosophy and in the Foundationsof Mathematics in Szklarska Poręba . It contains a surveyof modal hybrid logic, one of the branches of contemporary modal logic. Inthe first part a variety of hybrid languages and logics is presented with adiscussion of expressivity matters. The second part is devoted to thoroughexposition of proof methods for hybrid logics. The main point is to showthat application of hybrid (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  9
    Andrzej Indrzejczak (2002). Resolution Based Natural Deduction. Bulletin of the Section of Logic 31 (3):159-170.
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  13
    Andrzej Indrzejczak (1996). Cut-Free Sequent Calculus for S5. Bulletin of the Section of Logic 25 (2):95-102.
  13.  12
    Andrzej Indrzejczak (2005). Sequent Calculi for Monotonic Modal Logics. Bulletin of the Section of Logic 34 (3):151-164.
  14.  6
    Andrzej Indrzejczak (1994). Natural Deduction System for Tense Logics. Bulletin of the Section of Logic 23 (4):173-179.
    Direct download  
     
    Export citation  
     
    My bibliography  
  15.  8
    Andrzej Indrzejczak (1999). A Survey of Natural Deduction Systems for Modal Logics. Logica Trianguli 3:55-84.
    The paper contains an exposition of standard ND-formalizations for modal logics. For the sake of simplicity, it is limited to propositional monomodal logics because focus is on methods not on logics. Some of the discussed approaches, however, may be easily extended to first order modal logics of different sorts or to multimodal logics . Natural Deduction is understood in the strict sense, explained below; neither Gentzen Sequent Calculus, nor Tableau Systems belong to that group. Moreover, some ND-systems with generalized apparatus, (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  22
    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)  
     
    Export citation  
     
    My bibliography  
  17.  5
    Andrzej Indrzejczak (2014). Introduction. Studia Logica 102 (6):1091-1094.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  5
    Andrzej Indrzejczak (2014). A Survey of Nonstandard Sequent Calculi. Studia Logica 102 (6):1295-1322.
    The paper is a brief survey of some sequent calculi 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, called (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  3
    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 (6 more)  
     
    Export citation  
     
    My bibliography  
  20.  3
    Andrzej Indrzejczak (1998). Jaśkowski and Gentzen Approaches to Natural Deduction and Related Systems. In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers 253--264.
  21.  4
    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)  
     
    Export citation  
     
    My bibliography  
  22. Andrzej Indrzejczak (2009). Konferencja Logiki Nieklasyczne - teoria i zastosowania. Ruch Filozoficzny 2 (2).
    Translate
     
     
    Export citation  
     
    My bibliography