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

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

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzm010
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,669
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

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.


Added to PP index

Total views
5 ( #928,753 of 2,326,089 )

Recent downloads (6 months)
2 ( #716,750 of 2,326,089 )

How can I increase my downloads?


My notes

Sign in to use this feature