Pages that link to "Item:Q1193476"
From MaRDI portal
The following pages link to A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476):
Displaying 50 items.
- Announcements to attentive agents (Q302225) (← links)
- Logical omniscience as infeasibility (Q392271) (← links)
- Positive provability logic for uniform reflection principles (Q392274) (← links)
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926) (← links)
- Exploring the tractability border in epistemic tasks (Q484931) (← links)
- Dynamics of lying (Q484939) (← links)
- Hidden protocols: modifying our expectations in an evolving world (Q490513) (← links)
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Reasoning about common knowledge with infinitely many agents (Q598197) (← links)
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- 3-SAT = SAT for a class of normal modal logics (Q673009) (← links)
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief (Q814492) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Open answer set programming for the semantic web (Q881833) (← links)
- Relativized common knowledge for dynamic epistemic logic (Q898782) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- PSPACE complexity of modal logic KD45\(_{n}\) (Q946142) (← links)
- General default logic (Q987485) (← links)
- Generalized modal satisfiability (Q988571) (← links)
- Exploring the future with resource-bounded agents (Q1006514) (← links)
- Majority merging by adaptive counting (Q1024133) (← links)
- Bounded model checking for knowledge and real time (Q1028970) (← links)
- Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom (Q1042695) (← links)
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- Relevance from an epistemic perspective (Q1127353) (← links)
- A class of decidable information logics (Q1128479) (← links)
- Reaching agreements through argumentation: a logical model and implementation (Q1274675) (← links)
- Common belief in monotonic epistemic logic (Q1278568) (← links)
- Iterative and fixed point common belief (Q1283322) (← links)
- Assessing the truth axiom under incomplete information (Q1296382) (← links)
- Belief as defeasible knowledge (Q1313959) (← links)
- On the logic of common belief and common knowledge (Q1330013) (← links)
- Possible world semantics and autoepistemic reasoning (Q1343838) (← links)
- The complexity of concept languages (Q1363785) (← links)
- Belief closure: A semantics of common knowledge for modal propositional logic (Q1377482) (← links)
- Common knowledge and update in finite environments (Q1383157) (← links)
- Modeling belief in dynamic systems. I: Foundations (Q1389534) (← links)
- Possibilistic reasoning -- a mini-survey and uniform semantics (Q1391902) (← links)
- A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966) (← links)
- A fully abstract model for the exchange of information in multi-agent systems. (Q1401189) (← links)
- Complexity of some problems in positive and related calculi (Q1401362) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief (Q1677044) (← links)
- Parameterized modal satisfiability (Q1759682) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- The complexity of satisfiability in non-iterated and iterated probabilistic logics (Q1783740) (← links)
- Epistemic considerations of decision making in games (Q1806301) (← links)
- A modal logic of intentional communication (Q1806304) (← links)
