Results 151 to 160 of about 39,273,340 (170)

A Kripke Semantics for Monadic BL Chains

Lecture Notes in Computer Science
We provide a generalisation of Kripke semantics for Monadic first-order Basic Logic of Chains (MBLC) of Petr Hájek and prove its soundness and completeness with respect to our semantics.
Zhiguang Zhao, Andrew Lewis-Smith
exaly   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics

Studia Logica, 2023
Eunsuk Yang
exaly  

Kripke-style semantics for many-valued logics

Mathematical Logic Quarterly, 2003
Franco Montagna
exaly  

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀

Studia Logica, 2002
Hiroakira Ono, Franco Montagna
exaly  

Kripke-type Semantics for

Electronic Notes in Theoretical Computer Science, 2016
Miguel Pérez-Gaspar
exaly  

Algebraic Kripke-Style Semantics for Relevance Logics

Journal of Philosophical Logic, 2013
Eunsuk Yang
exaly  

Kripke Semantics for Intuitionistic Łukasiewicz Logic

Studia Logica, 2020
Paulo Oliva, Edmund Peter Robinson
exaly  

Kripke Semantics for Modal Substructural Logics

Journal of Logic, Language and Information, 2002
Norihiro Kamide
exaly  

Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics

Studia Logica, 1999
Nobu-Yuki Suzuki
exaly  

Access Suspended

Notre Dame Journal of Formal Logic, 2023
exaly