Temporal Aspects of the Dynamics of Knowledge (Q5249672): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(5 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Q266857 / rank
Normal rank
 
Property / author
 
Property / author: Valentin F. Goranko / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-319-06025-5_9 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W45340037 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Knowledge Games and Coalitional Abilities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alternating-time temporal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Logic of Public Announcements, Common Knowledge, and Private Suspicions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tense logic and time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics of communication and change / rank
 
Normal rank
Property / cites work
 
Property / cites work: Merging frameworks for interaction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4833768 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3122692 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Games in Dynamic-Epistemic Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5494230 / rank
 
Normal rank
Property / cites work
 
Property / cites work: What one may come to know / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical Dynamics of Information and Interaction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning about Strategies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5404483 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3509047 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5417809 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Structures for Epistemic Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Memory and perfect recall in extensive games / rank
 
Normal rank
Property / cites work
 
Property / cites work: Belief change in branching time: AGM-consistency and iterated revision / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic and Game Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic epistemic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Connecting dynamic epistemic and temporal epistemic logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic Epistemic Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minimal temporal epistemic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4845472 / rank
 
Normal rank
Property / cites work
 
Property / cites work: What can machines know? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adding a temporal dimension to a logic system / rank
 
Normal rank
Property / cites work
 
Property / cites work: Many-dimensional modal logics: theory and applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Belief Revision and Dynamic Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comparing semantics of logics for multi-agent systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of reasoning about knowledge and time. I: Lower bounds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Knowledge and common knowledge in a distributed environment / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complete Axiomatizations for Reasoning about Knowledge and Time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic epistemic logic with branching temporal structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complete axiomatizations for reasoning about knowledge and branching time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some comments on history based structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION / rank
 
Normal rank
Property / cites work
 
Property / cites work: A knowledge based semantics of messages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3680260 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5556395 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic Epistemic Temporal Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Temporal languages for epistemic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic for update products and steps into the past / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2844043 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 01:19, 10 July 2024

scientific article; zbMATH DE number 6435081
Language Label Description Also known as
English
Temporal Aspects of the Dynamics of Knowledge
scientific article; zbMATH DE number 6435081

    Statements

    Temporal Aspects of the Dynamics of Knowledge (English)
    0 references
    0 references
    0 references
    11 May 2015
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers