scientific article
From MaRDI portal
Publication:3563381
zbMath1210.03025MaRDI QIDQ3563381
Publication date: 31 May 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Default consequence relations from topology and measure theory ⋮ From input/output logics to conditional logics via sequents -- with provers ⋮ In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals ⋮ A discrete duality between nonmonotonic consequence relations and convex geometries ⋮ Embedding and automating conditional logics in classical higher-order logic ⋮ A game semantics for system P
Uses Software
This page was built for publication: