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.
- Tableau-based decision procedure for logic of knowing-how via simple plans (Q2695519) (← links)
- Hybrid logics: Characterization, interpolation and complexity (Q2758042) (← links)
- LotrecScheme (Q2825417) (← links)
- Undecidability of multi-modal hybrid logics (Q2867946) (← links)
- Building an Epistemic Logic for Argumentation (Q2915085) (← links)
- Finitary S5-Theories (Q2938497) (← links)
- Alternating-Time Temporal Announcement Logic (Q3092297) (← links)
- Seeing, Knowledge and Common Knowledge (Q3094012) (← links)
- An Epistemic Logic with Hypotheses (Q3094014) (← links)
- Public Announcement Logic with Distributed Knowledge (Q3094018) (← links)
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
- Probabilistic Common Knowledge Among Infinite Number of Agents (Q3451209) (← links)
- A Modal-Layered Resolution Calculus for K (Q3455770) (← links)
- A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation (Q3457699) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- INTRANSITIVITY AND VAGUENESS (Q3580685) (← links)
- Formal Modelling of Emotions in BDI Agents (Q3602941) (← links)
- Proof Theory for Distributed Knowledge (Q3602943) (← links)
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs (Q3602955) (← links)
- Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic (Q3605530) (← links)
- Query Answering in Description Logics: The Knots Approach (Q3638272) (← links)
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3638280) (← links)
- Complexity of intuitionistic propositional logic and its fragments (Q3643316) (← links)
- Tableaux for logics of time and knowledge with interactions relating to synchrony (Q3647215) (← links)
- Adding clauses to poor man's logic (without increasing the complexity) (Q3647233) (← links)
- BDD-based decision procedures for the modal logic K ★ (Q3647260) (← links)
- A logical characterisation of qualitative coalitional games (Q3647281) (← links)
- Taming the Complexity of Temporal Epistemic Reasoning (Q3655200) (← links)
- Complexity of decision problems under incomplete information (Q3975157) (← links)
- A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief (Q4236067) (← links)
- Common knowledge logic and game logic (Q4262577) (← links)
- Naming and Identity in Epistemic Logics Part I: The Propositional Case (Q4276167) (← links)
- On the Decision Problem for Two-Variable First-Order Logic (Q4338040) (← links)
- SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation (Q4443408) (← links)
- Two alternative notions of 'possibility' satisfying Halpern's conditions (Q4487259) (← links)
- Reasoning tractably about explicit belief: A model-theoretic approach (Q4509295) (← links)
- Complexity of interpolation and related problems in positive calculi (Q4532622) (← links)
- CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (Q4557167) (← links)
- Intentions and potential intentions revisited (Q4583169) (← links)
- Modal logics for reasoning about infinite unions and intersections of binary relations (Q4583172) (← links)
- Definability in the class of all -frames – computability and complexity (Q4586217) (← links)
- Tableaux methods for access control in distributed systems (Q4610331) (← links)
- A resolution-based proof method for temporal logics of knowledge and belief (Q4632296) (← links)
- A simple tableau system for the logic of elsewhere (Q4645235) (← links)
- Doxastic logic: a new approach (Q4646653) (← links)
- Building decision procedures for modal logics from propositional decision procedures — The case study of modal K (Q4647549) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← links)
- Structures of Oppositions in Public Announcement Logic (Q4915594) (← links)
- Super-Strict Implications (Q4999461) (← links)
- (Q5009419) (← links)
