Learning in a Changing World: an algebraic modal logical approach

Learning in a Changing World: an algebraic modal logical approach

書誌詳細
主要な著者:	Panagaden, P, Sadrzadeh, M
その他の著者:	Johnson, M
フォーマット:	Journal article
出版事項:	2010

類似資料

Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
著者:: Dyckhoff, R, 等
出版事項: (2012)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
著者:: Sadrzadeh, M
出版事項: (2003)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
著者:: Cirstea, C, 等
出版事項: (2006)

Reasoning about Knowledge in Linear Logic: Modalities and Complexity
著者:: Marion, M, 等
出版事項: (2004)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
著者:: Dyckhoff, R, 等
出版事項: (2010)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
著者:: Sadrzadeh, M, 等
出版事項: (2010)

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
著者:: Ma, M, 等
出版事項: (2011)

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
著者:: Sadrzadeh, M, 等
出版事項: (2011)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
著者:: Sadrzadeh, M, 等
出版事項: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
著者:: Sadrzadeh, M, 等
出版事項: (2009)

Approach to positional logic algebra
著者:: Mykola Kovalov
出版事項: (2023-03-01)

Nonstandard Semantics for Modal Logic and the Concept of a Logically Possible World
著者:: Dale Jacquette
出版事項: (2005-11-01)

An algebraic approach to non-classical logics /
著者:: 384000 Rasiowa, Helena
出版事項: (1974)

Algebraic logic /
著者:: 366609 Gindikin, S. G.
出版事項: (1985)

Algebra and logic
出版事項: (1968)

Algebraic logic /
著者:: Halmos, Paul R., (Paul Richard), 1916-
出版事項: (1962)

Logic as algebra /
著者:: 181502 Halmos, Paul, 等
出版事項: (1998)

Algebraic and logic programming /
著者:: Grabowski, J., 等
出版事項: (1988)

Logic and modality
著者:: Bevan, M
出版事項: (2022)

Translation and Optimization of Logic Queries: The Algebraic Approach
著者:: Ceri, S, 等
出版事項: (1986)

Algebra of Logic Programming
著者:: Seres, S, 等
出版事項: (1999)

Algebra of Logic Programming
著者:: Seres, S, 等
出版事項: (1999)

Studies in algebraic logic /
著者:: Daigneault, Aubert
出版事項: (1974)

Algebra and logic : papers /
著者:: Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
出版事項: (1975)

Logic and boolean algebra /
著者:: 398742 Levitz, Kathleen, 等
出版事項: (1979)

An algebraic introduction to mathematical logic /
著者:: 390016 Barnes, Donald W., 等
出版事項: (1975)

Modal logic : The lewis-modal systems /
著者:: 423681 Zeman, J. Jay
出版事項: (1973)

On the role of modal intuition in modal logic
著者:: Jayprakash Vaidya Anand
出版事項: (2014-01-01)

A Logical Approach to Modal Verbs 3. “Must”
著者:: Imre Attila
出版事項: (2017-12-01)

The Algebra of Multi−Agent Dynamic Belief Revision
著者:: Baltag, A, 等
出版事項: (2006)

A Runs−and−Systems Semantics for Logics of Announcement
著者:: Pucella, R, 等
出版事項: (2009)

A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
著者:: Gonzalo A. Aranda-Corral, 等
出版事項: (2024-05-01)

Advances in modal logic /
著者:: Wolter, Frank
出版事項: (2002)

Handbook of modal logic /
著者:: Blackburn, Patrick, 1959-, 等
出版事項: (2007)

Neutrosophic Modal Logic
著者:: Florentin Smarandache
出版事項: (2017-02-01)

Symmetries in Modal Logics
著者:: Carlos Areces, 等
出版事項: (2013-03-01)

Toposes, algebraic geometry and logic /
著者:: Bucur, Ionel, 1930-1976
出版事項: (1972)

Algebraic methods of mathematical logic /
著者:: 404014 Reiger, Ladislav
出版事項: (1967)

Logic I : Boolean algebra
著者:: Open University. Mathematics Foundation Course Team
出版事項: (1971)

Boolean algebra for computer logic /
著者:: Ennes, Harold E., 1911-
出版事項: (1978)