LAUSR

Intuitionism and the Modal Logic of Vagueness

Sign Up to like & get
recommendations!
1 Published in 2020 at "Journal of Philosophical Logic"

DOI: 10.1007/s10992-019-09507-x

Abstract: Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic… read more here.

Keywords: intuitionistic logic; modal logic; vagueness; logic ... See more keywords

A dual-context sequent calculus for the constructive modal logic S4

Sign Up to like & get
recommendations!
2 Published in 2022 at "Mathematical Structures in Computer Science"

DOI: 10.1017/s0960129522000378

Abstract: Abstract The proof theory of the constructive modal logic S4 (hereafter $\mathsf{CS4}$ ) has been settled since the beginning of this century by means of either standard natural deduction and sequent calculi or by the… read more here.

Keywords: sequent calculus; mathsf cs4; modal logic; constructive modal ... See more keywords

A note on the complexity of S4.2

Sign Up to like & get
recommendations!
0 Published in 2021 at "Journal of Applied Non-Classical Logics"

DOI: 10.1080/11663081.2021.1901560

Abstract: is the modal logic of directed partial pre-orders and/or the modal logic of reflexive and transitive relational frames with a final cluster. It holds a distinguished position in philosophical logic, where it has been advocated… read more here.

Keywords: modal depth; note complexity; modal logic; complexity ... See more keywords

Graded Many-Valued Modal Logic and Its Graded Rough Truth

Sign Up to like & get
recommendations!
1 Published in 2022 at "Axioms"

DOI: 10.3390/axioms11070341

Abstract: Much attention is focused on the relationship between rough sets and many-valued modal logic to deal with approximate reasoning. This paper discusses the graded modal logic and puts forward the graded many-valued modal logic G(S5).… read more here.

Keywords: valued modal; many valued; graded many; modal logic ... See more keywords

The Modal Logic of Aristotelian Diagrams

Sign Up to like & get
recommendations!
0 Published in 2023 at "Axioms"

DOI: 10.3390/axioms12050471

Abstract: In this paper, we introduce and study AD-logic, i.e., a system of (hybrid) modal logic that can be used to reason about Aristotelian diagrams. The language of AD-logic, LAD, is interpreted on a kind of… read more here.

Keywords: aristotelian diagrams; logic aristotelian; modal logic;