Labelled Tableaux For Non-Normal Modal Logics

Governatori, Guido and Luppi, Alessandro (1999). Labelled Tableaux For Non-Normal Modal Logics. In: Evelina Lamma and Paola Mello, AIIA 99 National Conference, Bologna, (413-422). 1999.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
aiiabo.pdf aiiabo.pdf application/pdf 67.57KB 702
Author Governatori, Guido
Luppi, Alessandro
Title of paper Labelled Tableaux For Non-Normal Modal Logics
Conference name AIIA 99 National Conference
Conference location Bologna
Conference dates 1999
Publication Year 1999
Sub-type Fully published paper
Editor Evelina Lamma
Paola Mello
Start page 413
End page 422
Total pages 10
Language eng
Abstract/Summary In this paper we show how to extend KEM, a tableaux-like proof system for normal modal logic, in order to deal with classes of non-normal modal logic, such as monotonic and regular, in a uniform and modular way.
Subjects 440106 Logic
280402 Mathematical Logic and Formal Languages
Keyword Modal logic
Possible world semantics
Labelled tabaleux
Non normal modal logic
Automated theorem prover
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Non-UQ

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Wed, 23 Mar 2005, 10:00:00 EST by Guido Governatori on behalf of School of Information Technol and Elec Engineering