scientific article

From MaRDI portal

Publication:3988148

Jump to:navigation, search

zbMath0744.03038MaRDI QIDQ3988148

Miodrag Rašković

Publication date: 28 June 1992

Full work available at URL: https://eudml.org/doc/118197

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completeness Kripke semantics probabilistic quantifiers infinitary intuitionistic logic

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Logic on admissible sets (03C70)

Related Items (1)

Intuitionistic propositional probability logic

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3988148&oldid=12043294"