Results 111 to 120 of about 16,014 (243)
The Problem of Index-Initialisation in the Tempo-Modal Semantics
Studia Semiotyczne, 2020 DOI: http://doi.org/10.26333/stsen.xxx.02 In Kripke-semantics for modal logic, the truth value of a sentence depends on the choice of a semantic index (e.g. world, time, or place).
doaj
starMC: an automata based CTL* model checker. [PDF]
PeerJ Comput Sci, 2022 Amparore EG, Donatelli S, Gallà F.
europepmc +1 more source
Four-valued modal logic: Kripke semantics and duality
, 2015 Umberto Rivieccio +2 more
openalex +2 more sources
BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH [PDF]
, 2020 BEN MIDDLETON
openalex +1 more source
Subject-matter and intensional operators I: conditional-agnostic analytic implication. [PDF]
Philos Stud, 2023 Ferguson TM.
europepmc +1 more source
Dualising Intuitionistic Negation
Principia: An International Journal of Epistemology, 2009 One of Da Costa’s motives when he constructed the paraconsistent logic C! was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task.
Graham Priest
doaj
Surprise, surprise: KK is innocent. [PDF]
Thought (Hoboken), 2021 Murzi J, Eichhorn L, Mayr P.
europepmc +1 more source
The lost art of short communications in academia. [PDF]
Scientometrics, 2021 Joaquin JJ, Tan RR.
europepmc +1 more source