Agent interpolation in distributed systems
From MaRDI portal
Cites work
- An interpolation theorem in the predicate calculus
- Craig interpolation of epistemic logics with distributed knowledge
- Deep sequent systems for modal logic
- Forgetting in multi-agent modal logics
- Generating plans from proofs. The interpolation-based approach to query reformulation
- scientific article; zbMATH DE number 2184446 (Why is no real title available?)
- scientific article; zbMATH DE number 956466 (Why is no real title available?)
- scientific article; zbMATH DE number 1303729 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 1395652 (Why is no real title available?)
- scientific article; zbMATH DE number 3199779 (Why is no real title available?)
- Interpolation and SAT-based model checking.
- Interpolation in Hájek's basic logic
- Interpolation in linear logic and related systems
- Modal Foundations for Predicate Logic
- Multicomponent proof-theoretic method for proving interpolation properties
- Nested sequents for the logic of conditional belief
- Nested sequents or tree-hypersequents -- a survey
- On some calculi of modal logic
- Prefixed tableaus and nested sequents
- Proof Analysis
- Proof analysis in modal logic
- Some modal and temporal translations of generalized basic logic
- The Method of Tree-Hypersequents for Modal Propositional Logic
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Uniform interpolation via nested sequents and hypersequents
- What is relevance logic?
This page was built for publication: Agent interpolation in distributed systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7287075)
