Nondeterministic and nonconcurrent computational semantics for BB+ and related logics

Journal of Logic and Computation:1-20 (forthcoming)
  Copy   BIBTEX

Abstract

In this paper, we provide a semantics for a range of positive substructural logics, including both logics with and logics without modal connectives. The semantics is novel insofar as it is meant to explicitly capture the computational flavor of these logics, and to do so in a way that builds in both nondeterministic and nonconcurrent computational processes.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Interpretations of Weak Positive Modal Logics.Katalin Bimbó - 2021 - In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 13-38.
Kripke bundle semantics and c-set semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language.Klaus Keimel, A. Rosenbusch & Thomas Streicher - 2009 - Annals of Pure and Applied Logic 159 (3):307-317.
The handbook of contemporary semantic theory.Shalom Lappin (ed.) - 1996 - Cambridge, Mass., USA: Blackwell Reference.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Some Results on Modal Axiomatization and Definability for Topological Spaces.Guram Bezhanishvili, Leo Esakia & David Gabelaia - 2005 - Studia Logica 81 (3):325-355.
5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mCi.Arnon Avron - 2008 - Studies in Logic, Grammar and Rhetoric 14 (27).
Star models and the semantics of infectiousness.Matthew W. G. McClure - 2020 - Undergraduate Philosophy Journal of Australasia 2 (2):35–57.
A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.Gemma Robles - 2013 - Logica Universalis 7 (4):507-532.
Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics.Katalin Bimbo, Jon Michael Dunn & Nicholas Ferenz - 2018 - Australasian Journal of Logic 15 (2):171-209.
Davidson's Semantics and Computational Understanding of Language.Damjan Bojadžiev - 1989 - Grazer Philosophische Studien 36 (1):133-139.
Davidson's Semantics and Computational Understanding of Language.Damjan Bojadžiev - 1989 - Grazer Philosophische Studien 36 (1):133-139.
A content semantics for quantified relevant logics. I.Ross T. Brady - 1988 - Studia Logica 47 (2):111 - 127.
Semantics and Computational Semantics.Matthew Stone - unknown
A Program for Computational Semantics.Jan van Eijck - unknown

Analytics

Added to PP
2023-09-20

Downloads
117 (#151,137)

6 months
78 (#59,831)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Shay Logan
Kansas State University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references