General Models and Completeness of First-Order Modal -calculus

DOI10.1093/LOGCOM/EXM077zbMath1150.03008OpenAlexW2054834413MaRDI QIDQ3520232

Keishi Okamoto, Ryo Kashima

Publication date: 15 August 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exm077

zbMATH Keywords

modal logic\(\mu\)-calculuscompletenessfirst-order logicKripke modelsgeneral models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (1)

Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent

This page was built for publication: General Models and Completeness of First-Order Modal  -calculus