Logics of Linear Frames

Logics of linear frames, called here for short linear logics form a particularly interesting and important class, especially in temporal interpretation. But we devote a separate Chapter for their treatment not because of their importance but rather because of special problems generated by their formalization in the setting of labelled systems.

[1]  Jean Goubault-Larrecq,et al.  A Tableau System for Linear-TIME Temporal Logic , 1997, TACAS.

[2]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[3]  Sara Negri,et al.  Proof Analysis in Modal Logic , 2005, J. Philos. Log..

[4]  M. Baldoni.  Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension , 1998 .

[5]  Pierre Wolper,et al.  The tableau method for temporal logic: an overview , 1985 .

[6]  Ryo Kashima,et al.  Cut-free sequent calculi for some tense logics , 1994, Stud Logica.

[7]  Heinrich Wansing,et al.  Sequent Systems for Modal Logics , 2002 .

[8]  H. Wansing.  Displaying Modal Logic , 1998 .

[9]  James W. Garson.  Unifying Quantified Modal Logic , 2005, J. Philos. Log..

[10]  Dorota Leszczynska-Jasion,et al.  The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G , 2008, Stud Logica.

[11]  Clare Dixon,et al.  Clausal temporal resolution , 1999, TOCL.

[12]  John P. Burgess,et al.  Basic Tense Logic , 1984 .

[13]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[14]  Maarten Marx,et al.  The Mosaic Method for Temporal Logics , 2000, TABLEAUX.

[15]  Tatsuya Shimura,et al.  Cut-Free Systems for the Modal Logic S4.3 and S4.3Grz , 1991, Reports Math. Log..

[16]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[17]  Alan Smaill,et al.  Centre for Intelligent Systems and Their Applications a Systematic Presentation of Quantified Modal Logics a Systematic Presentation of Quantified Modal Logics a Systematic Presentation of Quantified Modal Logics , 2022 .

[18]  Andrzej Indrzejczak,et al.  A Labelled Natural Deduction System for Linear Temporal Logic , 2003, Stud Logica.

[19]  Laurent Catach,et al.  TABLEAUX: A general theorem prover for modal logics , 1991, Journal of Automated Reasoning.

[20]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[21]  Rajeev Goré,et al.  Cut-free sequent and tableau systems for propositional Diodorean modal logics , 1994, Stud Logica.

[22]  Amir Pnueli,et al.  Propositional Temporal Logics: Decidability and Completeness , 2000, Log. J. IGPL.

[23]  Alexander Bolotov,et al.  Natural Deduction Calculus for Linear-Time Temporal Logic , 2006, JELIA.