scientific article; zbMATH DE number 5064947
From MaRDI portal
Publication:5494230
zbMath1108.03011MaRDI QIDQ5494230
Publication date: 17 October 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Algebraic coding theory; cryptography (number-theoretic aspects) (11T71) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Philosophical and critical aspects of logic and foundations (03A05) Logic programming (68N17)
Related Items (30)
The information in intuitionistic logic ⋮ The undecidability of quantified announcements ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ Merging DEL and ETL ⋮ Arbitrary public announcement logic with memory ⋮ Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ⋮ Refinement modal logic ⋮ Logic and reasoning: do the facts matter? ⋮ Information dynamics and uniform substitution ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Paraconsistent dynamics ⋮ Agreement theorems in dynamic-epistemic logic ⋮ ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ ⋮ Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth ⋮ Iterative information update and stability of strategies ⋮ McCarthy variations in a modal key ⋮ Finite identification from the viewpoint of epistemic update ⋮ Diversity of agents and their interaction ⋮ Positive announcements ⋮ Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points ⋮ Schematic Validity in Dynamic Epistemic Logic: Decidability ⋮ Aximo: Automated Axiomatic Reasoning for Information Update ⋮ Verification and strategy synthesis for coalition announcement logic ⋮ Merging frameworks for interaction ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ Logic and Learning ⋮ Logic and Game Theory ⋮ The undecidability of iterated modal relativization ⋮ Backtracking games and inflationary fixed points
This page was built for publication:
