Temporal-epistemic logic

Studies in Logic, Grammar and Rhetoric 22 (35) (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,225

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

Minimal Temporal Epistemic Logic.Joeri Engelfriet - 1996 - Notre Dame Journal of Formal Logic 37 (2):233-259.
A probabilistic temporal epistemic logic: Strong completeness.Zoran Ognjanović, Angelina Ilić Stepić & Aleksandar Perović - 2024 - Logic Journal of the IGPL 32 (1):94-138.
A probabilistic temporal epistemic logic: Decidability.Zoran Ognjanović, Angelina Ilić Stepić & Aleksandar Perović - 2024 - Logic Journal of the IGPL 32 (5):827-879.
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic.M. Kacprzak & W. Penczek - 2004 - Synthese 142 (2):203-227.
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.
Logic of Algorithmic Knowledge.Dariusz Surowik - 2015 - Studies in Logic, Grammar and Rhetoric 42 (1):163-172.
Comparing semantics of logics for multi-agent systems.Valentin Goranko & Wojciech Jamroga - 2004 - Synthese 139 (2):241 - 280.
Automatic verification of temporal-epistemic properties of cryptographic protocols.Ioana Boureanu, Mika Cohen & Alessio Lomuscio - 2009 - Journal of Applied Non-Classical Logics 19 (4):463-487.
On Kinds of Temporal Logic and Some of Its Applications.Anna Kozanecka-Dymek - 2012 - Studies in Logic, Grammar and Rhetoric 28 (41).

Analytics

Added to PP
2018-03-10

Downloads
2 (#1,894,204)

6 months
2 (#1,685,557)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references