A model existence theorem in infinitary propositional modal logic
From MaRDI portal
Publication:1332142
DOI10.1007/BF01048686zbMath0811.03011MaRDI QIDQ1332142
Publication date: 1 May 1995
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Related Items
Substantive assumptions in interaction: a logical perspective, Local properties in modal logic, An approach to infinitary temporal proof theory, Specifying coalgebras with modal logic, From modal discourse to possible worlds, Strong completeness and limited canonicity for PDL, Erratum to: ``Strong completeness and limited canonicity for PDL, PDL with intersection of programs: a complete axiomatization, Common belief in monotonic epistemic logic, Game logic and its applications. I, Logics with Probability Operators
Cites Work