An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK

Logic Journal of the IGPL 15 (3):239-254 (2007)
  Copy   BIBTEX

Abstract

The paper aims at providing the multi-modal propositional logic LTK with a sound and complete axiomatisation. This logic combines temporal and epistemic operators and focuses on m odeling the behaviour of a set of agents operating in a system on the background of a temporal framework. Time is represented as linear and discrete, whereas knowledge is modeled as an S5-like modality. A further modal operator intended to represent environment knowledge is added to the system in order to achieve the expressive power sufficient to describe the piece of information available to the agents at each moment in the flow of time

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A quick axiomatisation of LTL with past.Martin Lange - 2005 - Mathematical Logic Quarterly 51 (1):83-88.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
The Unrestricted Combination of Temporal Logic Systems.Marcelo Finger & M. Weiss - 2002 - Logic Journal of the IGPL 10 (2):165-189.
La connaissance commune en logique modale.Luc Lismont - 1993 - Mathematical Logic Quarterly 39 (1):115-130.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Temporal languages for epistemic programs.Joshua Sack - 2008 - Journal of Logic, Language and Information 17 (2):183-216.
The Hybrid Logic of Linear Set Spaces.Bernhard Heinemann - 2004 - Logic Journal of the IGPL 12 (3):181-198.
Axiomatisation and decidability off andp in cyclical time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Naming worlds in modal and temporal logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.

Analytics

Added to PP
2015-02-04

Downloads
18 (#711,533)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?