A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic

We develop a cut-free sequent calculus for an algebraic semantics of a Dynamic Epistemic Logic. The calculus is nested and consists of an action linear logic which acts on a propositional logic via a dynamic modality and its left adjoint update. Both logics are positive and have adjoint epistemic mo...

Detaylı Bibliyografya
Asıl Yazarlar:	Dyckhoff, R, Sadrzadeh, M
Materyal Türü:	Report
Baskı/Yayın Bilgisi:	OUCL 2010

Benzer Materyaller

Algebra and sequent calculus for epistemic actions
Yazar:: Baltag, A, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Implementation of a cut−free sequent calculus for logics with adjoint modalities
Yazar:: Kriener, M, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Multi-succedent sequent calculus for intuitionistic epistemic logic
Yazar:: Romas Alonderis
Baskı/Yayın Bilgisi: (2024-12-01)

Sequent calculus for hybrid logic
Yazar:: Stanislovas Norgėla, ve diğerleri
Baskı/Yayın Bilgisi: (2023-09-01)

Sequent calculus for propositional likelihood logic
Yazar:: Romas Alonderis
Baskı/Yayın Bilgisi: (2023-09-01)

Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and >
Yazar:: Romas Alonderis
Baskı/Yayın Bilgisi: (2002-12-01)

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Yazar:: Stéphane Jean Eric Lengrand, ve diğerleri
Baskı/Yayın Bilgisi: (2011-03-01)

An interpolating sequent calculus for quantifier-free Presburger arithmetic
Yazar:: Brillout, A, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic.
Yazar:: Brillout, A, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
Yazar:: Tiu, A, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
Yazar:: Dyckhoff, R, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps
Yazar:: Romas Alonderis
Baskı/Yayın Bilgisi: (1999-12-01)

Sequent calculus Sk4 for skolemized formulas
Yazar:: Andrejus Belovas, ve diğerleri
Baskı/Yayın Bilgisi: (2005-12-01)

Sequent calculus usage for BDI agent implementation
Yazar:: Adomas Birstunas
Baskı/Yayın Bilgisi: (2023-09-01)

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
Yazar:: Simon Tobias Lund, ve diğerleri
Baskı/Yayın Bilgisi: (2024-11-01)

A sequent calculus for a semi-associative law
Yazar:: Noam Zeilberger
Baskı/Yayın Bilgisi: (2019-02-01)

Cut Elimination for Extended Sequent Calculi
Yazar:: Simone Martini, ve diğerleri
Baskı/Yayın Bilgisi: (2023-09-01)

Stoic sequent logic and proof theory
Yazar:: Bobzien, S
Baskı/Yayın Bilgisi: (2019)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
Yazar:: Sadrzadeh, M, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
Yazar:: Sadrzadeh, M, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
Yazar:: Sadrzadeh, M, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

A labelled sequent calculus for BBI : proof theory and proof search
Yazar:: Hóu, Zhé, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Inducing syntactic cut-elimination for indexed nested sequents
Yazar:: Revantha Ramanayake
Baskı/Yayın Bilgisi: (2018-11-01)

Analyticity, balance and non-admissibility of Cut in Stoic logic
Yazar:: Bobzien, S, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Sequent Systems for Consequence Relations of Cyclic Linear Logics
Yazar:: Paweł Płaczek
Baskı/Yayın Bilgisi: (2024-04-01)

Dynamic epistemic logic /
Yazar:: Ditmarsch, Hans van, 1959-, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

A basic epistemic logic and its algebraic model
Yazar:: Hércules de Araujo Feitosa, ve diğerleri
Baskı/Yayın Bilgisi: (2023-12-01)

Relation between classical and intuitionistic sequent calculi of temporal logic
Yazar:: Romas Alonderis
Baskı/Yayın Bilgisi: (2001-12-01)

Categories for dynamic epistemic logic
Yazar:: Kishida, K
Baskı/Yayın Bilgisi: (2017)

Gentzen and Temporal Sequents
Yazar:: Indrzejczak Andrzej
Baskı/Yayın Bilgisi: (2024-12-01)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
Yazar:: Cirstea, C, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Epistemic Updates on Algebras
Yazar:: Alexander A Kurz, ve diğerleri
Baskı/Yayın Bilgisi: (2013-12-01)

Learning in a Changing World: an algebraic modal logical approach
Yazar:: Panagaden, P, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
Yazar:: Rajeev Gore, ve diğerleri
Baskı/Yayın Bilgisi: (2011-05-01)

Coalgebraic Epistemic Update without Change of Model
Yazar:: Cirstea, C, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
Yazar:: Ma, M, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
Yazar:: Sadrzadeh, M, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
Yazar:: Williamson, T
Baskı/Yayın Bilgisi: (1992)

Algebra and calculus for business/
Yazar:: 238911 Dyckman, Thomas R., ve diğerleri
Baskı/Yayın Bilgisi: (1974)

The Algebra of Multi−Agent Dynamic Belief Revision
Yazar:: Baltag, A, ve diğerleri
Baskı/Yayın Bilgisi: (2006)