Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge (original) (raw)
Related papers
Multi-type Display Calculus for Dynamic Epistemic Logic
Dynamic Epistemic Logic Displayed
A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic
Studia Logica, 2010
Algebra and sequent calculus for epistemic actions
2005
A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic
Towards a Proof-Theoretic Semantics for Dynamic Logics
ILLC Publications, Master of Logic Thesis (MoL) Series, 2013
Reasoning about dynamic epistemic logic
Alexandru Baltag, Mehrnoosh Sadrzadeh, Bob Coecke
2004
Sequent Calculus for Intuitionistic Epistemic Logic IEL
Lecture Notes in Computer Science, 2015
Sequent Calculi for Indexed Epistemic Logics
2016
Indicative Conditionals and Dynamic Epistemic Logic
Proceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK XVI), 2017
Dynamic Epistemic Logic with Communication Actions
Electronic Notes in Theoretical Computer Science, 2019
Sequent Calculi with Context Restrictions and Applications to Conditional Logic
2013
Dynamic Derivations for Sequent-Based Logical Argumentation
Dynamic Epistemic Logic with Assignments, Concurrency and Communication Actions
Anais do Workshop Brasileiro de Lógica (WBL 2020)
Inquisitive dynamic epistemic logic
Synthese, 2014
Extension of sequent calculi with nonlogical rules
1998
A Cut-Free and Invariant-Free Sequent Calculus for PLTL
Lecture Notes in Computer Science, 2007
Contraction-free sequent calculi for intuitionistic logic
The Journal of Symbolic Logic, 1992
Advances in Modal Logics, 2012
Outstanding Contributions to Logic, 2014
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic, 2007
A sequent calculus with procedure calls
ArXiv, 2012
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations
Electronic Notes in Theoretical Computer Science, 2016
Connecting dynamic epistemic and temporal epistemic logics
Logic Journal of IGPL, 2013
On sequent calculi for intuitionistic propositional logic
2006
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
2021