On evaluations of propositional formulas in countable structures

DOI10.2298/FIL1601001PzbMath1474.03064OpenAlexW2345746078MaRDI QIDQ5279264

Dragan Doder, Miodrag Rašković, Zoran Ognjanović, Aleksandar Perović

Publication date: 19 July 2017

Published in: Filomat (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2298/fil1601001p

zbMATH Keywords

axiomatizationstrong completenessweighted formulas

Mathematics Subject Classification ID

Classical propositional logic (03B05) Other infinitary logic (03C75) Model theory of denumerable and separable structures (03C15)

Related Items (1)

Applications of Logics About Simple Probabilities

This page was built for publication: On evaluations of propositional formulas in countable structures