scientific article; zbMATH DE number 6914297

No author found.

Publication date: 7 August 2018

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

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items

Adding proof calculi to epistemic logics with structured knowledge ⋮ Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ Satisfiability in a Temporal Multi-valueted Logic Based on Z ⋮ Reverse Bayesianism and act independence ⋮ Private announcements on topological spaces ⋮ BISIMULATIONS FOR KNOWING HOW LOGICS ⋮ Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics ⋮ Formalizing common belief with no underlying assumption on individual beliefs ⋮ Knowledge and approximations: a formal study under the perspective of information systems and rough set theory ⋮ An epistemic analysis of dynamic games with unawareness ⋮ Resolving distributed knowledge ⋮ To be announced ⋮ Communication pattern logic: epistemic and topological views ⋮ Impure Simplicial Complexes: Complete Axiomatization ⋮ The logic of framing effects ⋮ A logico-epistemic investigation of Frauchiger and Renner's paradox ⋮ An epistemic separation logic with action models ⋮ In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ A separation logic with histories of epistemic actions as resources ⋮ The existence of universal qualitative belief spaces ⋮ Dynamic modal logic with counting: when reduction axioms work and fail ⋮ Solving modal logic problems by translation to higher-order logic ⋮ Quantum epistemology and constructivism ⋮ Cognitive limits and preferences for information ⋮ Simple Axioms for Local Properties ⋮ A logic of knowing why ⋮ A history based logic for dynamic preference updates ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Unnamed Item ⋮ A public announcement separation logic ⋮ Arrow update synthesis ⋮ A logic of goal-directed knowing how ⋮ Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ A multi-agent depth bounded Boolean logic ⋮ Propositional epistemic logics with quantification over agents of knowledge ⋮ A simple logic of functional dependence ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Common belief of weak-dominance rationality in strategic-form games: a qualitative analysis ⋮ Implicit and explicit stances in logic ⋮ The effort of reasoning: modelling the inference steps of boundedly rational agents ⋮ Unnamed Item ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ Unnamed Item ⋮ \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions ⋮ Unawareness without AU introspection ⋮ Reasoning about distributed information with infinitely many agents ⋮ Intensional protocols for dynamic epistemic logic ⋮ Autoepistemic answer set programming ⋮ DYNAMIC GRADED EPISTEMIC LOGIC ⋮ Announcement as effort on topological spaces ⋮ A Substructural Epistemic Resource Logic ⋮ A probabilistic semantics for belief logic ⋮ Epistemic foundations for set-algebraic representations of knowledge ⋮ Information acquisition in the era of fair disclosure: an application of asymmetric awareness ⋮ Updating awareness and information aggregation ⋮ Optimism and pessimism in strategic interactions under ignorance

This page was built for publication: