Pages that link to "Item:Q1407585"

The following pages link to Refined common knowledge logics or logics of common information (Q1407585):

Displaying 23 items.

• Intuitionistic common knowledge or belief (Q334160) (← links)
• Temporal logic with accessibility temporal relations generated by time states themselves (Q779153) (← links)
• A non-minimal but very weak axiomatization of common belief (Q1342230) (← links)
• Belief closure: A semantics of common knowledge for modal propositional logic (Q1377482) (← links)
• The generation of formulas held in common knowledge (Q1414381) (← links)
• A map of common knowledge logics (Q1611251) (← links)
• Temporal multi-valued logic with lost worlds in the past (Q1669762) (← links)
• Many-valued multi-modal logics, satisfiability problem (Q1669939) (← links)
• Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms (Q1694714) (← links)
• The difference between common knowledge of formulas and sets (Q1806330) (← links)
• Strong completeness theorems for weak logics of common belief (Q1810818) (← links)
• Branching time agents logics, satisfiability problem by rules in reduced form (Q2331127) (← links)
• Refinement quantified logics of knowledge (Q2825410) (← links)
• Formalizing Concurrent Common Knowledge as Product of Modal Logics (Q3378197) (← links)
• (Q4295879) (← links)
• La connaissance commune en logique modale (Q4304804) (← links)
• Common Belief with the Logic of Individual Belief (Q4939401) (← links)
• Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
• Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility (Q5214739) (← links)
• Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility (Q5283440) (← links)
• Logical consecutions in discrete linear temporal logic (Q5486245) (← links)
• Multi-agent temporal logics, information, unification, and projectivity (Q6539755) (← links)
• The satisfiability problem in linear multi-agent knowledge logic based on \(\mathbb{N}\) (Q6643441) (← links)