scientific article; zbMATH DE number 824735

Wiebe van der Hoek, John-Jules Ch. Meyer

Publication date: 11 December 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

distributed systems knowledge autoepistemic logic Kripke semantics nonmonotonic reasoning epistemic logic default reasoning belief logical omniscience protocol verification preferential entailment counterfactual reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Other applications of logic (03B80)

Related Items

Formalising privacy policies in social networks, Quantified temporal alethic boulesic doxastic logic, Rosenkranz's logic of justification and unprovability, Logics for belief as maximally plausible possibility, Interpreted systems and Kripke models for multiagent systems from a categorical perspective, Ockham's razor and reasoning about information flow, 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, Formalized soundness and completeness of epistemic logic, Weighted modal logic in epistemic and deontic contexts, Crossing hands in the Russian cards problem, First-order temporal verification in practice, Two Ways to Common Knowledge, Multi-modal nonmonotonic logics of minimal knowledge, Mechanizing common knowledge logic using COQ, Logics of communication and change, PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\), A formalisation of violation, error recovery, and enforcement in the bit transmission problem, Inquisitive logic as an epistemic logic of knowing how, Resolving distributed knowledge, Towards a theory of intention revision, An Epistemic Separation Logic, Substructural epistemic logics, Definability in the class of all -frames – computability and complexity, Relativized common knowledge for dynamic epistemic logic, A modal type theory for formalizing trusted communications, \(\in_K\): a non-Fregean logic of explicit knowledge, Completeness for flat modal fixpoint logics, 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, Impossible worlds and the logic of imagination, Awareness as potential for knowledge, Unnamed Item, The logic of gossiping, Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems, Justification Logic, Simulative belief logic, Second-order propositional modal logic: expressiveness and completeness results, 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, Knowledge updates: Semantics and complexity issues, Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic, The Proof Theory of Common Knowledge, Epistemic Logic with Evidence and Relevant Alternatives, On Bradley's preservation condition for conditionals, A multi-agent depth bounded Boolean logic, Reasoning about ignorance and beliefs, Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic, Intricate axioms as interaction axioms, Coalition and relativised group announcement logic, Distributed knowability and Fitch's paradox, Propositional epistemic logics with quantification over agents of knowledge, Doxastic logic: a new approach, Implicit, explicit and speculative knowledge, Syntactic awareness in logical dynamics, Cut-free common knowledge, Practical extraction of evidence terms from common-knowledge reasoning, Distributed knowledge justification logics, ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’, THE LOGIC OF JUSTIFICATION, Semantics for knowledge and change of awareness, What will they say? -- Public announcement games, Introspection as an action in relational models, Two-dimensional awareness logics, About cut elimination for logics of common knowledge, Free quantified epistemic logics, Revocable belief revision, Using temporal logics of knowledge for specification and verification -- a case study, Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic, Action and knowledge in alternating-time temporal logic, The logic of Pit, Belief ascription under bounded resources, Common knowledge does not have the Beth property, Proof Theory for Distributed Knowledge, A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems, Reusing topological nexttime logic, Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic, Knowledge condition games, Learning to apply theory of mind, Group knowledge is not always distributed (neither is it always implicit), A computationally grounded logic of graded belief, Rule-Based Reasoning with Belief Structures, Rethinking epistemic logic with belief bases, Minimal temporal epistemic logic, Epistemic models of shallow depths and decision making in games: Horticulture, On the Definability of Simulability and Bisimilarity by Finite Epistemic Models, First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment, Logics of Belief over Weighted Structures, An Epistemic Logic with Hypotheses, Public Announcement Logic with Distributed Knowledge, An Alternative Logic for Knowability, Syntactic cut-elimination for common knowledge, Reasoning About Justified Belief Based on the Fusion of Evidence, A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\), Temporal Logics of Knowledge and their Applications in Security, Towards Syntactic Epistemic Logic, Pairing Traditional and Generic Common Knowledge, Augmenting Subset Spaces to Cope with Multi-agent Knowledge, О трудностях определения имплицитного знания группы, BISIMULATIONS FOR KNOWING HOW LOGICS, Group Belief, A Logic of Knowledge and Belief Based on Abstract Arguments, Dynamic epistemic logics for abstract argumentation, DOING WITHOUT ACTION TYPES, Simple Axioms for Local Properties, Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, A public announcement separation logic, Verified Decision Procedures for Modal Logics., Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision, A LOGIC OF JUSTIFICATION AND TRUTHMAKING, Inconsistency in Ceteris Paribus Imagination, SMALL INFINITARY EPISTEMIC LOGICS, Syntactic Cut-elimination for Common Knowledge, Only persistence makes nonmonotonicity monotonous