scientific article; zbMATH DE number 1848312
From MaRDI portal
Publication:4785506
zbMath1005.03024MaRDI QIDQ4785506
Natasha Alechina, Michael Mendler, Eike Ritter, V. C. V. de Paiva
Publication date: 1 January 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30)
Related Items
Constructive Game Logic, A dual-context sequent calculus for the constructive modal logic S4, Ultraproducts and possible worlds semantics in institutions, Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming, Embedding Constructive K into Intuitionistic K, When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus, Categories for Dynamic Epistemic Logic, Unnamed Item, Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic, Deriving dualities in pointfree topology from Priestley duality, Intuitionistic conditional logics, A modal type theory for formalizing trusted communications, Morpho-logic from a topos perspective -- application to symbolic AI, Dual and axiomatic systems for constructive S4, a formally verified equivalence, Modes of adjointness, Maehara-style modal nested calculi, A semantic hierarchy for intuitionistic logic, Fibrational modal type theory, Towards constructive DL for abstraction and refinement, Connectionist computations of intuitionistic reasoning, A general method for proving decidability of intuitionistic modal logics, Plugging-in proof development environments usingLocksinLF, Game Semantics for Access Control, Cut-free Gentzen calculus for multimodal CK, Constructive linear-time temporal logic: proof systems and Kripke semantics, A categorical outlook on relational modalities and simulations, Constructive Modalities with Provability Smack
Uses Software
