Categories for dynamic epistemic logic

Categories for dynamic epistemic logic

The primary goal of this paper is to recast the conventional semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category of relations and a category of Kripke frames, with some reference to duality results. Using these categori...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखक:	Kishida, K
स्वरूप:	Conference item
प्रकाशित:	Electronic Proceedings in Theoretical Computer Science 2017

समान संसाधन

Categories for Dynamic Epistemic Logic
द्वारा: Kohei Kishida
प्रकाशित: (2017-07-01)

Dynamic epistemic logic /
द्वारा: Ditmarsch, Hans van, 1959-, और अन्य
प्रकाशित: (2007)

Indicative Conditionals and Dynamic Epistemic Logic
द्वारा: Wesley H. Holliday, और अन्य
प्रकाशित: (2017-07-01)

Analysis of Cryptographic Protocol by Dynamic Epistemic Logic
द्वारा: Xiaojuan Chen, और अन्य
प्रकाशित: (2019-01-01)

Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic
द्वारा: Xiaojuan Chen, और अन्य
प्रकाशित: (2020-09-01)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
द्वारा: Williamson, T
प्रकाशित: (1992)

Remarks on the Epistemic Interpretation of Paraconsistency Logic
द्वारा: Nicolás Lo Guercio, और अन्य
प्रकाशित: (2018-08-01)

Epistemic Game Theory and Logic: Introduction
द्वारा: Paul Weirich
प्रकाशित: (2017-03-01)

Tableau Systems for Epistemic Positional Logics
द्वारा: Mateusz Klonowski, और अन्य
प्रकाशित: (2021-06-01)

A Modal Logic of Epistemic Games
द्वारा: François Schwarzentruber, और अन्य
प्रकाशित: (2010-11-01)

Toward an Epistemic-Logical Theory of Categorization
द्वारा: Willem Conradie, और अन्य
प्रकाशित: (2017-07-01)

The Time of Epistemic Domination: Notes on Modernity as an Oppressive Category
प्रकाशित: (2022-04-01)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
द्वारा: Dyckhoff, R, और अन्य
प्रकाशित: (2010)

2 INCOMPLETE ANTIREALIST MODAL EPISTEMIC LOGICS
द्वारा: Williamson, T
प्रकाशित: (1990)

Epistemic Contradictions Do Not Threaten Classical Logic
द्वारा: Mayr, Philipp
प्रकाशित: (2022)

Probabilities and Epistemic Operations in the Logics of Quantum Computation
द्वारा: Maria Luisa Dalla Chiara, और अन्य
प्रकाशित: (2018-10-01)

A New Modal Framework for Epistemic Logic
द्वारा: Yanjing Wang
प्रकाशित: (2017-07-01)

Towards A Logical Account of Epistemic Causality
द्वारा: Shakil M. Khan, और अन्य
प्रकाशित: (2019-10-01)

An Epistemic Foundation for Authentication Logics (Extended Abstract)
द्वारा: Joseph Y. Halpern, और अन्य
प्रकाशित: (2017-07-01)

Stochastic Relational Presheaves and Dynamic Logic for Contextuality
द्वारा: Kohei Kishida
प्रकाशित: (2014-12-01)

Sets, logic and categories /
द्वारा: Cameron, Peter J. (Peter Jephson), 1947-
प्रकाशित: (1998)

Epistemic logic and CERMINE: a logical model for automatic extraction of structured metadata
द्वारा: Simone Cuconato
प्रकाशित: (2021-07-01)

A Logical Framework for Democratic Decision-Making: Epistemic Logic and Liquid Democracy
द्वारा: Simone Cuconato
प्रकाशित: (2020-12-01)

Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic
द्वारा: Iris van de Pol, और अन्य
प्रकाशित: (2016-06-01)

A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
द्वारा: Éric Goubault, और अन्य
प्रकाशित: (2018-09-01)

Multi-succedent sequent calculus for intuitionistic epistemic logic
द्वारा: Romas Alonderis
प्रकाशित: (2024-12-01)

A basic epistemic logic and its algebraic model
द्वारा: Hércules de Araujo Feitosa, और अन्य
प्रकाशित: (2023-12-01)

Reshaping The University: Responsibility, Indigenous Epistemes, and The Logic of the Gift
द्वारा: Marguerite Le Caze
प्रकाशित: (2008-12-01)

A Knowledge Representation Framework Based on Epistemic Logic
द्वारा: Teodor Przymusiński
प्रकाशित: (2014-12-01)

Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
द्वारा: Francesco Belardinelli
प्रकाशित: (2014-04-01)

Completeness by Modal Deﬁnitions. Application to the Epistemic Logic With Hypotheses
द्वारा: Levan Uridia, और अन्य
प्रकाशित: (2020-04-01)

The J. Fodor's language of thought hypothesis and epistemic logic
द्वारा: Konstantin Rayhert
प्रकाशित: (2016-08-01)

Epistemic Logic Programs: A Different World View
द्वारा: Michael Morak
प्रकाशित: (2019-09-01)

Introduction to categories and categorical logic
द्वारा: Abramsky, S, और अन्य
प्रकाशित: (2010)

Topoi. The categorial analysis of logic /
द्वारा: 255858 Goldblatt, Robert
प्रकाशित: (1983)

Reasoning, logic, and category mistakes
द्वारा: J. Martín Castro-Manzano
प्रकाशित: (2017-04-01)

Review of Reshaping the University: Responsibility, Indigenous Epistemes, and the Logic of the Gift
द्वारा: Lynda Lange
प्रकाशित: (2010-04-01)

Rich Counter-Examples for Temporal-Epistemic Logic Model Checking
द्वारा: Simon Busard, और अन्य
प्रकाशित: (2012-02-01)

Freeman's Acceptable Premises: An Epistemic Approach to an Informal Logic Problem
द्वारा: Mark Weinstein
प्रकाशित: (2004-01-01)

A Spatial-Epistemic Logic for Reasoning about Security Protocols
द्वारा: Bernardo Toninho, और अन्य
प्रकाशित: (2011-02-01)