Results 91 to 100 of about 87,429 (211)

A Characterization of Non-Iterative Normal Modal Logics [PDF]

, 2021
Adrian Soncodi
openalex   +1 more source

From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics [PDF]

, 2021
Simone Martini, Andrea Masini, Margherita Zorzi   +2 more
openalex   +1 more source

Uniform lyndon interpolation for basic non-normal modal and conditional logics [PDF]

Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali   +2 more
openalex   +1 more source

Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

, 2020
Eugenio Orlandelli
openalex   +2 more sources

MonadicΣ11and Modal Logic with Quantified Binary Relations

, 2010
Lauri Hella, Antti Kuusisto
openalex   +1 more source

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
von Plato J.
europepmc   +1 more source

Inquisitive Neighborhood Logic. [PDF]

J Logic Lang Inf
Ciardelli I.
europepmc   +1 more source

Disjunctive bases: normal forms and model theory for modal logics

, 2017
Sebastian Enqvist, Yde Venema
openalex   +1 more source

Blood Pressure Prediction During Blood Transfusion: A Population-Informed Multi-Modal Sequential Inference Approach. [PDF]

IEEE Control Syst Lett
Kao YM, Razaei P, Shahrbabak SM, Pepino JA, Shogren ISK, Wang Y, Reisner AT, Hahn JO.   +7 more
europepmc   +1 more source

A waterproof and ultra-elastic thermoelectric foam for underwater human signal detection. [PDF]

Nat Commun
Liu W, Shi XL, He X, Zhu S, Li Z, Li C, Zhang D, Li M, Wu X, Zhang H, Wang L, Qin X, Chen ZG.   +12 more
europepmc   +1 more source