scientific article; zbMATH DE number 824735
From MaRDI portal
Publication:4858037
Recommendations
Cited in
(only showing first 100 items - show all)- Knowledge condition games
- Learning to apply theory of mind
- Syntactic cut-elimination for common knowledge
- Resolving distributed knowledge
- Impossible worlds and the logic of imagination
- Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
- Second-order propositional modal logic: expressiveness and completeness results
- Propositional epistemic logics with quantification over agents of knowledge
- Implicit, explicit and speculative knowledge
- About cut elimination for logics of common knowledge
- Group knowledge is not always distributed (neither is it always implicit)
- Minimal temporal epistemic logic
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- Introspection as an action in relational models
- Free quantified epistemic logics
- Revocable belief revision
- Reusing topological nexttime logic
- A computationally grounded logic of graded belief
- Formalized soundness and completeness of epistemic logic
- Weighted modal logic in epistemic and deontic contexts
- Crossing hands in the Russian cards problem
- Inquisitive logic as an epistemic logic of knowing how
- The logic of gossiping
- A multi-agent depth bounded Boolean logic
- Reasoning about ignorance and beliefs
- Coalition and relativised group announcement logic
- Distributed knowledge justification logics
- Semantics for knowledge and change of awareness
- Rethinking epistemic logic with belief bases
- A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\)
- Formalising privacy policies in social networks
- A verification framework for agent programming with declarative goals
- Semantics for intuitionistic epistemic logics of shallow depths for game theory
- Symposium: Logic and economics -- interactions between subjective thinking and objective worlds
- Specifying and reasoning about uncertain agents
- Logics for epistemic programs
- Simulative belief logic
- Knowledge updates: Semantics and complexity issues
- On Bradley's preservation condition for conditionals
- Distributed knowability and Fitch's paradox
- Cut-free common knowledge
- Using temporal logics of knowledge for specification and verification -- a case study
- Action and knowledge in alternating-time temporal logic
- The logic of Pit
- Epistemology and artificial intelligence
- Multi-modal nonmonotonic logics of minimal knowledge
- Mechanizing common knowledge logic using COQ
- Awareness as potential for knowledge
- Reasoning about justified belief based on the fusion of evidence
- Temporal logics of knowledge and their applications in security
- An epistemic separation logic
- Agency and Interaction What We Are and What We Do in Formal Epistemology
- The Logic of Justification
- A qualitative theory of dynamic interactive belief revision
- scientific article; zbMATH DE number 2088977 (Why is no real title available?)
- On the definability of simulability and bisimilarity by finite epistemic models
- Logics of belief over weighted structures
- An epistemic logic with hypotheses
- Public announcement logic with distributed knowledge
- An alternative logic for knowability
- Two ways to common knowledge
- Playing cards with Hintikka: an introduction to dynamic epistemic logic
- The proof theory of common knowledge
- Epistemic logic with evidence and relevant alternatives
- Modelling sources of inconsistent information in paraconsistent modal logic
- Knowledge and belief. An introduction to the logic of the two notions. Prepared by Vincent F. Hendricks and John Symons
- Argument-based belief in topological structures
- Rule-based reasoning with belief structures
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
- Justification Logic
- `Knowable' as `known after an announcement'
- The logic of justification
- Proof Theory for Distributed Knowledge
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
- Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
- scientific article; zbMATH DE number 58298 (Why is no real title available?)
- A modal type theory for formalizing trusted communications
- scientific article; zbMATH DE number 589737 (Why is no real title available?)
- scientific article; zbMATH DE number 1999226 (Why is no real title available?)
- Epistemic models of shallow depths and decision making in games: Horticulture
- Handbook of epistemic logic
- Substructural epistemic logics
- Definability in the class of all KD45-frames -- computability and complexity
- Doxastic logic: a new approach
- scientific article; zbMATH DE number 754675 (Why is no real title available?)
- scientific article; zbMATH DE number 10093 (Why is no real title available?)
- Information dynamics and uniform substitution
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity
- Dynamics of lying
- On the factivity of implicit intersubjective knowledge
- scientific article; zbMATH DE number 847978 (Why is no real title available?)
- Conditional doxastic models: a qualitative approach to dynamic belief revision
- A LOGIC OF JUSTIFICATION AND TRUTHMAKING
- Intricate axioms as interaction axioms
- Syntactic cut-elimination for common knowledge
- Resolving distributed knowledge
- scientific article; zbMATH DE number 7440211 (Why is no real title available?)
- scientific article; zbMATH DE number 7444842 (Why is no real title available?)
- scientific article; zbMATH DE number 7450025 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4858037)
