Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

Minimal structures for modal tableaux: Some examples
  • Home
  • /
  • Minimal structures for modal tableaux: Some examples
  1. Home /
  2. Archives /
  3. No. 8 (2000) /
  4. Articles

Minimal structures for modal tableaux: Some examples

Authors

  • Luis Fariñas del Cerro IRIT-UPS, Toulouse
  • Olivier Gasquet IRIT-UPS, Toulouse

DOI:

https://doi.org/10.12775/LLP.2000.007

Abstract

In this paper we present some examples of decision procedures based on tableau calculus for some mono- and multimodal logics having a semantics involving properties that are not easily representable in tree-like structures (like e.g. density, confluence and persistence). We show how to handle them in our framework by generalizing usual tableaux (which are trees) to richer structures: rooted directed acyclic graphs.

References

Laurent Catach, Les logiques multi-modales, Ph.D. thesis, Universit´ e Paris VI, France, 1989.

G. De Giacomo, F. Massacci. “Tableau and algorithm for propositional dynamic logic with converse”. In M.A. McRobbie, J.K. Slaney editor, Proc. CADE-13, LNAI 1104, Springer, 1996.

S. Demri, E. Orłowska. “Every finitely reductible logic has the finite model property with respect to the class of 3-formulae”. Bulletin of the Section of Logic, to appear in Studia Logica.

H.C.M. de Swart. “Gentzen-type systems for C, K and several extensions of C and K; constructive completeness proofs and effective decision procedure for these systems”. Logique et Analyse, 1980.

Marcos A. Castilho, Luis Fari˜ nas del Cerro, Olivier Gasquet, and Andreas Herzig. “Modal tableaux with propagation rules and structural rules”. Fundamenta Informaticæ 32(3/4):281–297, 1997.

Luis Fariñas del Cerro, and Olivier Gasquet. “Tableaux based decision procedures for modal logics of confluence and density”. Fundamenta Informaticæ 41(1):1–17, 2000.

M. Fitting. Proof Methods for Modal and Intuitionistic Logics. D. Reidel, Dordrecht, 1983.

M. Fitting. “Basic modal logic”. In D. Gabbay et al., editor, Handbook of Logic in Artificial Intelligence and Logic Programming: Logical Foundations, vol. 1, Oxford University Press, 1993.

S. Kripke. “A completeness theorem in modal logic”. Journal of Symbolic Logic 24, 1959.

S. Kripke. “Semantical analysis of modal logic I: Normal modal propositional calculi”. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9, 1963.

F. Massacci. “Strongly analytic tableaux for normal modal logics”. In Alan Bundy editor, Proc. CADE-12, LNAI 814, Springer, 1994.

E. Orłowska. “Relational formalization of non-classical logics”. In Brink, Kahl, Schmidt editor, Relational Methods in Computer Science, pp. 91–105, Springer-Verlag, 1997.

H. Sahlqvist. “Completeness and correspondence in the first and second order semantics for modal logics”. In S. Kanger editor, Proc. 3rd Scandinavian Logic Symposium 1973, Studies in Logic 82 (1975), North-Holland, 1973.

Downloads

  • PDF

Published

2004-01-18

How to Cite

1.
FARIÑAS DEL CERRO, Luis & GASQUET, Olivier. Minimal structures for modal tableaux: Some examples. Logic and Logical Philosophy [online]. 18 January 2004, T. 8, nr 8, s. 99–114. [accessed 28.3.2023]. DOI 10.12775/LLP.2000.007.
  • PN-ISO 690 (Polish)
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

No. 8 (2000)

Section

Articles

Stats

Number of views and downloads: 144
Number of citations: 0

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Karmelitański Instytut Duchowości w Krakowie
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop