{"id":18087,"date":"2024-07-03T12:39:57","date_gmt":"2024-07-03T10:39:57","guid":{"rendered":"https:\/\/informatica.uniurb.it\/triennale\/?post_type=seminari&#038;p=18087"},"modified":"2024-11-05T09:18:04","modified_gmt":"2024-11-05T08:18:04","slug":"first-order-modal-logic-kripke-semantics-and-its-challenges","status":"publish","type":"seminari","link":"https:\/\/informatica.uniurb.it\/triennale\/seminari\/first-order-modal-logic-kripke-semantics-and-its-challenges\/","title":{"rendered":"First-Order Modal Logic: Kripke Semantics and Its Challenges"},"content":{"rendered":"<p>This talk is an introduction to first-order modal logic with a focus on first-order extensions of propositional Kripke semantics. Incorporating quantifiers and modal operators introduces challenges in maintaining the axioms and rules of classical first-order and propositional modal logic while undergoing minimal alterations. Even a straightforward extension of propositional modal logic K to the first-order level validates certain versions of the Barcan formulas, leading to formulations with problematic readings. I will introduce first-order Kripke semantics with constant domains, demonstrating the validity of Barcan formulas in such semantics. Subsequently, I will explore how employing first-order Kripke semantics with varying domains can invalidate the Barcan formulas, albeit at the expense of sacrificing some classical first-order rules.<\/p>\n","protected":false},"featured_media":0,"template":"","class_list":["post-18087","seminari","type-seminari","status-publish","hentry","entry","no-media"],"acf":[],"_links":{"self":[{"href":"https:\/\/informatica.uniurb.it\/triennale\/wp-json\/wp\/v2\/seminari\/18087","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/informatica.uniurb.it\/triennale\/wp-json\/wp\/v2\/seminari"}],"about":[{"href":"https:\/\/informatica.uniurb.it\/triennale\/wp-json\/wp\/v2\/types\/seminari"}],"wp:attachment":[{"href":"https:\/\/informatica.uniurb.it\/triennale\/wp-json\/wp\/v2\/media?parent=18087"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}