Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information

Show other versions (2)

Manylion Llyfryddiaeth
Prif Awduron:	Sadrzadeh, M, Dyckhoff, R
Fformat:	Journal article
Cyhoeddwyd:	2010

Eitemau Tebyg

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

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

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

Implementation of a cut−free sequent calculus for logics with adjoint modalities
gan: Kriener, M, et al.
Cyhoeddwyd: (2009)

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

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

Ockham's Razor and Reasoning about Information Flow
gan: Sadrzadeh, M
Cyhoeddwyd: (2008)

Intuitionistic Layered Graph Logic: Semantics and Proof Theory
gan: Simon Docherty, et al.
Cyhoeddwyd: (2018-10-01)

Are the Validities of Modal Logic Analytic? Or Analyticity Again, through Information, Proof, Modal Logic and Hintikka
gan: Francesca Poggiolesi
Cyhoeddwyd: (2015-05-01)

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

Towards a Proof Theory of G\"odel Modal Logics
gan: George Metcalfe, et al.
Cyhoeddwyd: (2011-05-01)

Informal Logic and the Theory of Reasoning
gan: Maurice A. Finocchiaro
Cyhoeddwyd: (1984-01-01)

Proof methods for modal and intuitionistic logics /
gan: Fitting, Melvin, 1942-
Cyhoeddwyd: (1983)

What logics mean : from proof theory to model-theoretic semantics /
gan: Garson, James W., 1943-
Cyhoeddwyd: (2013)

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

Semantical Considerations on Modal Logic
gan: Saul A. Kripke
Cyhoeddwyd: (2023-04-01)

Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
gan: Paolo Baldi, et al.
Cyhoeddwyd: (2020-07-01)

Certification of Prefixed Tableau Proofs for Modal Logic
gan: Tomer Libal, et al.
Cyhoeddwyd: (2016-09-01)

Internal proof calculi for modal logics with separating conjunction
gan: Demri, S, et al.
Cyhoeddwyd: (2021)

Proof theory for fuzzy logics /
gan: 432738 Metcalfe, George, et al.
Cyhoeddwyd: (2009)

Coalgebraic semantics of modal logics: An overview
gan: Kupke, C, et al.
Cyhoeddwyd: (2011)

Coalgebraic semantics of modal logics: An overview
gan: Kupke, C, et al.
Cyhoeddwyd: (2011)

Neighbourhood Semantics for Graded Modal Logic
gan: Jinsheng Chen, et al.
Cyhoeddwyd: (2021-09-01)

Learning in a Changing World: an algebraic modal logical approach
gan: Panagaden, P, et al.
Cyhoeddwyd: (2010)

Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic
gan: Alexandru Baltag, et al.
Cyhoeddwyd: (2022-04-01)

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

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

Modal logic : an Introduction to its syntax and semantics /
gan: 374151 Cocchiarella, Nino B., et al.
Cyhoeddwyd: (2008)

Representing and reasoning about semantic conflicts in heterogeneous information systems
gan: Goh, Cheng Hian
Cyhoeddwyd: (2005)

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
gan: Bassel Mannaa, et al.
Cyhoeddwyd: (2020-12-01)

A modal logic for subject-oriented spatial reasoning
gan: Wałęga, PA, et al.
Cyhoeddwyd: (2019)

Stoic sequent logic and proof theory
gan: Bobzien, S
Cyhoeddwyd: (2019)

A logical view on the Adjoint Functor Theorem
gan: Pavlovic, D
Cyhoeddwyd: (1992)

A Message-Passing Interpretation of Adjoint Logic
gan: Klaas Pruiksma, et al.
Cyhoeddwyd: (2019-04-01)

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

Aximo: Automated Axiomatic Reasoning for Information Update
gan: Richards, S, et al.
Cyhoeddwyd: (2009)

A logic for reasoning about ambiguity
gan: Halpern, J, et al.
Cyhoeddwyd: (2014)

Model Theory and Proof Theory of Coalgebraic Predicate Logic
gan: Tadeusz Litak, et al.
Cyhoeddwyd: (2018-03-01)

Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach
gan: M. Eugenia Cornejo, et al.
Cyhoeddwyd: (2020-06-01)

Admissible Inference Rules and Semantic Property of Modal Logics
gan: V.V. Rimatskiy
Cyhoeddwyd: (2021-09-01)