A sequent calculus for propositional dynamic logic for agents with interactions
DOI10.1007/S10986-005-0025-4zbMATH Open1109.03014OpenAlexW2025571074MaRDI QIDQ852274FDOQ852274
Authors: Jūratė Sakalauskaitė 
Publication date: 28 November 2006
Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10986-005-0025-4
Recommendations
- A sequent calculus for propositional dynamic logic for agents
- Propositional dynamic logic for reasoning about first-class agent interaction protocols
- Dynamic logic for reasoning about actions and agents
- Sequent Calculi for Multi-modal Logic with Interaction
- A contraction-free and cut-free sequent calculus for propositional dynamic logic
- Propositional dynamic logic with quantification over regular computation sequences
- A cut-free labelled sequent calculus for dynamic epistemic logic
- A cut-free labelled sequent calculus for dynamic epistemic logic
- scientific article; zbMATH DE number 1765704
- On models for propositional dynamic logic
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Logic in artificial intelligence (68T27)
Cites Work
Cited In (7)
- A contraction-free and cut-free sequent calculus for propositional dynamic logic
- Interactions between knowledge, action and commitment within agent dynamic logic
- Active logic semantics for a single agent in a static world
- Sequent Calculi for Multi-modal Logic with Interaction
- On combinations of propositional dynamic logic and doxastic modal logics
- Propositional statecharts for agent interaction protocols
- Dynamic logic for reasoning about actions and agents
This page was built for publication: A sequent calculus for propositional dynamic logic for agents with interactions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q852274)
