The modal logic of the countable random frame

DOI10.1007/s001530100135zbMath1038.03018OpenAlexW2065234465MaRDI QIDQ1407589

Valentin F. Goranko, Bruce M. Kapron

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530100135

zbMATH Keywords

modal logicaxiomatizationcountable random frame

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items

Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA