Results 81 to 90 of about 87,429 (211)
Resolution Calculi for Non-normal Modal Logics [PDF]
, 2023 Dirk Pattinson +2 more
openalex +1 more source
Complexity of Non-Monotonic Logics [PDF]
, 2010 Over the past few decades, non-monotonic reasoning has developed to be one of the most important topics in computational logic and artificial intelligence.
Thomas, Michael, Vollmer, Heribert
core +1 more source
Non-Normal Modal Description Logics (Extended Version) [PDF]
, 2023 Tiziano Dalmonte +3 more
openalex +1 more source
Restricted normal modal logics and levelled possible worlds semantics [PDF]
, 2012 Juan C. Agudelo-Agudelo, Manuel Sierra
openalex +1 more source
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics [PDF]
, 2022 Amirhossein Akbar Tabatabai +2 more
openalex +1 more source
Evolutionary epistemology and non-normal modal logic of knowledge [PDF]
, 2018 Владимир Олегович Лобовиков
openalex +1 more source
Remarks about the unification types of some locally tabular normal modal logics
, 2022 Philippe Balbiani +3 more
openalex +2 more sources
Hypersequent calculi for non-normal modal and deontic logics:\n Countermodels and optimal complexity [PDF]
, 2020 Tiziano Dalmonte +3 more
openalex +2 more sources
Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability
, 2019 Liangda Fang +3 more
openalex +2 more sources
Should We Embrace Impossible Worlds Due to the Flaws of Normal Modal Logic? [PDF]
Til Eyinck
openalex +1 more source