Analyzing completeness of axiomatic functional systems for temporal × modal logics

, &
Mathematical Logic Quarterly 56 (1):89-102 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Analyzing completeness of axiomatic functional systems for temporal × modal logics.Alfredo Burrieza, Inmaculada P. de Guzmán & Emilio Muñoz-Velasco - 2010 - Mathematical Logic Quarterly 56 (1):89-102.
Fibring non-truth-functional logics: Completeness preservation.C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas - 2003 - Journal of Logic, Language and Information 12 (2):183-211.
Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Naming worlds in modal and temporal logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.
Some kinds of modal completeness.J. F. A. K. Benthem - 1980 - Studia Logica 39 (2-3):125 - 141.
Completeness and Definability in the Logic of Noncontingency.Evgeni E. Zolin - 1999 - Notre Dame Journal of Formal Logic 40 (4):533-547.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Two semantical approaches to paraconsistent modalities.Juliana Bueno-Soler - 2010 - Logica Universalis 4 (1):137-160.
Analytic tableau systems and interpolation for the modal logics KB, KDB, k5, KD.Linh Anh Nguyen - 2001 - Studia Logica 69 (1):41-57.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.

Analytics

Added to PP
2013-12-01

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references