Results 91 to 100 of about 87,429 (211)
A Characterization of Non-Iterative Normal Modal Logics [PDF]
Adrian Soncodi
openalex +1 more source
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics [PDF]
Simone Martini +2 more
openalex +1 more source
Uniform lyndon interpolation for basic non-normal modal and conditional logics [PDF]
Amirhossein Akbar Tabatabai +2 more
openalex +1 more source
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
Eugenio Orlandelli
openalex +2 more sources
Monadic
Lauri Hella, Antti Kuusisto
openalex +1 more source
Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]
von Plato J.
europepmc +1 more source
Disjunctive bases: normal forms and model theory for modal logics
Sebastian Enqvist, Yde Venema
openalex +1 more source
Blood Pressure Prediction During Blood Transfusion: A Population-Informed Multi-Modal Sequential Inference Approach. [PDF]
Kao YM +7 more
europepmc +1 more source
A waterproof and ultra-elastic thermoelectric foam for underwater human signal detection. [PDF]
Liu W +12 more
europepmc +1 more source

