A Semantical Analysis of Second-Order Propositional Modal Logic | Zendy

Francesco Belardinelli | Zendy; Wiebe van der Hoek | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Semantical Analysis of Second-Order Propositional Modal Logic

Author(s) -

Francesco Belardinelli,

Wiebe van der Hoek

Publication year - 2016

Publication title -

proceedings of the aaai conference on artificial intelligence

Language(s) - English

Resource type - Journals

eISSN - 2374-3468

pISSN - 2159-5399

DOI - 10.1609/aaai.v30i1.10100

Subject(s) - modal logic , accessibility relation , normal modal logic , dynamic logic (digital electronics) , propositional variable , modal μ calculus , modal , propositional calculus , computer science , expressive power , autoepistemic logic , well formed formula , multimodal logic , zeroth order logic , representation (politics) , s5 , interpretation (philosophy) , knowledge representation and reasoning , extension (predicate logic) , artificial intelligence , intermediate logic , theoretical computer science , description logic , programming language , engineering , transistor , voltage , law , chemistry , political science , politics , polymer chemistry , electrical engineering

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research