arXiv 2019-10-05 EN Complexity of finite-variable fragments of propositional modal logics of symmetric frames Rybakov, Mikhail · Shkatov, Dmitry
arXiv 2019-03-29 EN Modelling informational entropy Conradie, Willem · Craig, Andrew · Palmigiano, Alessandra · Wijnberg, Nachoem M.
arXiv 2019-01-28 EN Intuitionistic Non-Normal Modal Logics: A general framework Dalmonte, Tiziano · Grellois, Charles · Olivetti, Nicola
arXiv 2018-12-26 EN Reasoning About Safety-Critical Information Flow Between Pilot and Computer Ahrenbach, Seth
arXiv 2018-08-29 EN First-order justification logic with constant domain semantics Fitting, Melvin · Salvatore, Felipe
arXiv 2018-08-29 EN Modal Logic With Non-deterministic Semantics: Part I - Propositional Case Coniglio, Marcelo E. · del Cerro, Luis Fariñas · Peron, Newton M.
arXiv 2017-05-25 EN A completeness result for implicit justification stit logic Olkhovikov, Grigory K.
arXiv 2016-06-13 EN It ain't necessarily so: Basic sequent systems for negative modalities Lahav, Ori · Marcos, João · Zohar, Yoni
arXiv 2016-04-25 EN The Succinctness of First-order Logic over Modal Logic via a Formula Size Game Hella, Lauri · Vilander, Miikka
