Fibred Modal Tableaux (Preliminary Report)

Gabbay, Dov M. and Governatori, Guido (1998). Fibred Modal Tableaux (Preliminary Report). In: Henricus C. M. de Swart, Automated reasoning with analytic tableaux and related methods: international conference; tableaux '98, Oisterwijk: proceedings. International Conference, Tableaux'98: Position Papers, Oisterwijk, The Netherlands 1998, (). 5-8 May 1998. doi:10.1007/978-94-011-4040-9_7

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Gabbay, Dov M.
Governatori, Guido
Title of paper Fibred Modal Tableaux (Preliminary Report)
Conference name International Conference, Tableaux'98: Position Papers
Conference location Oisterwijk, The Netherlands 1998
Conference dates 5-8 May 1998
Proceedings title Automated reasoning with analytic tableaux and related methods: international conference; tableaux '98, Oisterwijk: proceedings   Check publisher's open access policy
Journal name Lecture notes in computer science   Check publisher's open access policy
Place of Publication Heidelberg, Germany
Publisher Springer
Publication Year 1998
Year available 1998
Sub-type Fully published paper
DOI 10.1007/978-94-011-4040-9_7
ISBN 3540644067
9783540644064
ISSN 0302-9743
1611-3349
Editor Henricus C. M. de Swart
Volume 1397
Total chapters 16
Language eng
Abstract/Summary We describe a general and uniform tableau methodology for multi-modal logics arising from Gabbay's methodology of fibring and Governatori's labelled tableau system KEM.
Keyword Modal logic
Combination of modal logic
Fibring of logic
Labelled tableaux
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Non-UQ

 
Available Versions of this Record
  • Fibred Modal Tableaux (Preliminary Report) (Current Record)
  • Fibred Modal Tableaux Book Chapter (deposited 20-04-2005)
 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Mon, 21 Mar 2005, 10:00:00 EST by Guido Governatori on behalf of School of Information Technol and Elec Engineering