AI Chat AI Image Generator AI Video Text to Speech

A Kripke Semantics for Hajek's BL

08/08/2023

∙

by Andrew Lewis-Smith, et al.

∙

∙

We provide a generalisation of Kripke semantics for Petr Hajek's Basic Logic and prove soundness and completeness of the same with respect to our semantics. We find this semantics easily specialises to the linearly-ordered Kripke frames for Godel-Dummett logic, which BL properly contains. Our soundness, deduction theorem and completeness arguments further strengthen this analogy. This paper extends the insights of our previous paper, "A Kripke Semantics for Intuitionistic Lukasiewicz logic," to the case of Hajeks' BL.

page 1

page 2

page 3

page 4

research

∙ 05/25/2023

Binding Logic: proofs and models

We define an extension of predicate logic, called Binding Logic, where v...

0 Gilles Dowek, et al. ∙

research

∙ 09/26/2022

Truth and Preferences – A Game Approach for Qualitative Choice Logic

In this paper, we introduce game-theoretic semantics (GTS) for Qualitati...

0 Robert Freiman, et al. ∙

research

∙ 02/14/2018

On completeness and parametricity in the realizability semantics of System F

A general approach to the realizability semantics of System F is obtaine...

0 Paolo Pistone, et al. ∙

research

∙ 09/10/2018

A case for deep learning in semantics

Pater's target article builds a persuasive case for establishing stronge...

0 Christopher Potts, et al. ∙

research

∙ 12/02/2020

Poset products as relational models

We introduce a relational semantics based on poset products, and provide...

0 Wesley Fussner, et al. ∙

research

∙ 01/05/2010

Named Models in Coalgebraic Hybrid Logic

Hybrid logic extends modal logic with support for reasoning about indivi...

0 Lutz Schroeder, et al. ∙

research

∙ 01/19/2019

Moss' logic for ordered coalgebras

We present a finitary coalgebraic logic for T-coalgebras, where T is a l...

0 Marta Bílková, et al. ∙