Learning in a Changing World: an algebraic modal logical approach

Learning in a Changing World: an algebraic modal logical approach

Dades bibliogràfiques
Autors principals:	Panagaden, P, Sadrzadeh, M
Altres autors:	Johnson, M
Format:	Journal article
Publicat:	2010

Ítems similars

Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
per: Dyckhoff, R, et al.
Publicat: (2012)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
per: Sadrzadeh, M
Publicat: (2003)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
per: Cirstea, C, et al.
Publicat: (2006)

Reasoning about Knowledge in Linear Logic: Modalities and Complexity
per: Marion, M, et al.
Publicat: (2004)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
per: Dyckhoff, R, et al.
Publicat: (2010)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
per: Sadrzadeh, M, et al.
Publicat: (2010)

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
per: Ma, M, et al.
Publicat: (2011)

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
per: Sadrzadeh, M, et al.
Publicat: (2011)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
per: Sadrzadeh, M, et al.
Publicat: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
per: Sadrzadeh, M, et al.
Publicat: (2009)

Approach to positional logic algebra
per: Mykola Kovalov
Publicat: (2023-03-01)

Nonstandard Semantics for Modal Logic and the Concept of a Logically Possible World
per: Dale Jacquette
Publicat: (2005-11-01)

An algebraic approach to non-classical logics /
per: 384000 Rasiowa, Helena
Publicat: (1974)

Algebraic logic /
per: 366609 Gindikin, S. G.
Publicat: (1985)

Algebra and logic
Publicat: (1968)

Algebraic logic /
per: Halmos, Paul R., (Paul Richard), 1916-
Publicat: (1962)

Logic as algebra /
per: 181502 Halmos, Paul, et al.
Publicat: (1998)

Algebraic and logic programming /
per: Grabowski, J., et al.
Publicat: (1988)

Logic and modality
per: Bevan, M
Publicat: (2022)

Translation and Optimization of Logic Queries: The Algebraic Approach
per: Ceri, S, et al.
Publicat: (1986)

Algebra of Logic Programming
per: Seres, S, et al.
Publicat: (1999)

Algebra of Logic Programming
per: Seres, S, et al.
Publicat: (1999)

Studies in algebraic logic /
per: Daigneault, Aubert
Publicat: (1974)

Algebra and logic : papers /
per: Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
Publicat: (1975)

Logic and boolean algebra /
per: 398742 Levitz, Kathleen, et al.
Publicat: (1979)

An algebraic introduction to mathematical logic /
per: 390016 Barnes, Donald W., et al.
Publicat: (1975)

Modal logic : The lewis-modal systems /
per: 423681 Zeman, J. Jay
Publicat: (1973)

On the role of modal intuition in modal logic
per: Jayprakash Vaidya Anand
Publicat: (2014-01-01)

A Logical Approach to Modal Verbs 3. “Must”
per: Imre Attila
Publicat: (2017-12-01)

The Algebra of Multi−Agent Dynamic Belief Revision
per: Baltag, A, et al.
Publicat: (2006)

A Runs−and−Systems Semantics for Logics of Announcement
per: Pucella, R, et al.
Publicat: (2009)

A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
per: Gonzalo A. Aranda-Corral, et al.
Publicat: (2024-05-01)

Advances in modal logic /
per: Wolter, Frank
Publicat: (2002)

Handbook of modal logic /
per: Blackburn, Patrick, 1959-, et al.
Publicat: (2007)

Neutrosophic Modal Logic
per: Florentin Smarandache
Publicat: (2017-02-01)

Symmetries in Modal Logics
per: Carlos Areces, et al.
Publicat: (2013-03-01)

Toposes, algebraic geometry and logic /
per: Bucur, Ionel, 1930-1976
Publicat: (1972)

Algebraic methods of mathematical logic /
per: 404014 Reiger, Ladislav
Publicat: (1967)

Logic I : Boolean algebra
per: Open University. Mathematics Foundation Course Team
Publicat: (1971)

Boolean algebra for computer logic /
per: Ennes, Harold E., 1911-
Publicat: (1978)