Loading...
Please wait, while we are loading the content...
Similar Documents
Complete Axiomatizations for Logics of Knowledge and Past Time ( Long Version )
| Content Provider | Semantic Scholar |
|---|---|
| Author | French, Tim |
| Copyright Year | 2004 |
| Abstract | Sound and complete axiomatizations are provided for two different logics involving modalities for knowledge and both past and future time modalities. The logics considered allow for multiple agents with unique initial state and synchrony. Such semantic restrictions are of particular interest in the context of past time modalities since both synchrony and unique initial state restrictions are not expressible without past time modalities. The synchrony restriction gives every agent access to a system clock. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://www.researchgate.net/profile/Tim_French4/publication/228799555_Complete_Axiomatizations_for_Logics_of_Knowledge_and_Past_Time_(Long_Version)/links/00b49519c67049a051000000.pdf |
| Alternate Webpage(s) | http://staffhome.ecm.uwa.edu.au/~00043278/papers/KSync.pdf |
| Alternate Webpage(s) | http://www.csse.uwa.edu.au/~tim/papers/KSync.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
