scientific article; zbMATH DE number 1989660
From MaRDI portal
Publication:4430407
zbMath1031.03037MaRDI QIDQ4430407
Publication date: 9 October 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Complexity of computation (including implicit computational complexity) (03D15)
Related Items (17)
Notes on logics of metric spaces ⋮ A description logic based situation calculus ⋮ Modal logics for reasoning about infinite unions and intersections of binary relations ⋮ A Qualitative Theory of Cognitive Attitudes and their Change ⋮ Two-Variable Separation Logic and Its Inner Circle ⋮ Adding the power-set to description logics ⋮ Using tableau to decide description logics with full role negation and identity ⋮ A system of relational syllogistic incorporating full Boolean reasoning ⋮ Logics for Two Fragments beyond the Syllogistic Boundary ⋮ Automata-based axiom pinpointing ⋮ Encapsulating deontic and branching time specifications ⋮ THE FLUTED FRAGMENT REVISITED ⋮ Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection ⋮ Reasoning about Joint Action and Coalitional Ability in K n with Intersection ⋮ Reasoning about cooperation, actions and preferences ⋮ Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary Relations ⋮ Existential second-order logic and modal logic with quantified accessibility relations
This page was built for publication:
