Labelled tableaux for non-normal modal logics

Guido Governatori, Alessandro Luppi

Research output: Book chapter/Published conference paperConference paperpeer-review

9 Citations (Scopus)

Abstract

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

Original languageEnglish
Title of host publicationAI*IA 99
Subtitle of host publicationAdvances in Artificial Intelligence - 6th Congress of Italian Association for Artificial Intelligence, Selected Papers
EditorsEvelina Lamma, Paola Mello
PublisherSpringer-Verlag Italia Srl
Pages119-130
Number of pages12
ISBN (Print)3540673504, 9783540462385, 9783540673507
Publication statusPublished - 2000
Event6th Congress of Italian Association for Artificial Intelligence, AIIA 1999 - Bologna, Italy
Duration: 14 Sept 199917 Sept 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1792
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference6th Congress of Italian Association for Artificial Intelligence, AIIA 1999
Country/TerritoryItaly
CityBologna
Period14/09/9917/09/99

Fingerprint

Dive into the research topics of 'Labelled tableaux for non-normal modal logics'. Together they form a unique fingerprint.

Cite this