An analytic tableau calculus for a temporalised belief logic

, &
Journal of Applied Logic 9 (4):289-304 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2011.08.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

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

A tableau calculus with automaton-labelled formulae for regular grammar logics.Rajeev Gore - unknown
A sound and complete tableau calculus for reasoning about only knowing and knowing at most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.
A Modal Supervaluation Description Logic For Characterization Of Vague Concepts: Its Semantics And A Tableau Algorithm For It.Lei Liu & Lin Chen - 2006 - Logic Journal of the IGPL 14 (6):873-888.
The relative complexity of analytic tableaux and SL-resolution.André Vellino - 1993 - Studia Logica 52 (2):323 - 337.
Simultaneous rigid sorted unification for tableaux.P. J. Martín & A. Gavilanes - 2002 - Studia Logica 72 (1):31-59.
Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets.Tomasz Jarmużek - 2007 - Logic and Logical Philosophy 16 (1):85-101.
Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
On the Computational Intractability of Analytic Tableau Methods.Neil Murray & Erik Rosenthal - 1994 - Logic Journal of the IGPL 2 (2):205-228.
Tableau reasoning and programming with dynamic first order logic.J. van Eijck, J. Heguiabehere & B. Ó Nualláin - 2001 - Logic Journal of the IGPL 9 (3):411-445.
A secondary semantics for Second Order Intuitionistic Propositional Logic.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2004 - Mathematical Logic Quarterly 50 (2):202-210.
Analytic tableau systems and interpolation for the modal logics KB, KDB, k5, KD.Linh Anh Nguyen - 2001 - Studia Logica 69 (1):41-57.
Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
HyLoTab — Tableau-based Theorem Proving for Hybrid Logics.Jan van Eijck - unknown
Tableau calculus for local cubic modal logic and its implementation.M. Marx, S. Mikulàs & S. Schlobach - 1999 - Logic Journal of the IGPL 7 (6):755-778.
Cut-free single-pass tableaux for the logic of common knowledge.Rajeev Gore - unknown

Analytics

Added to PP
2016-06-30

Downloads
25 (#614,662)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
Properties of independently axiomatizable bimodal logics.Marcus Kracht & Frank Wolter - 1991 - Journal of Symbolic Logic 56 (4):1469-1485.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.

View all 7 references / Add more references