Results 31 to 40 of about 282,427 (194)
Cхід, 2014 The article deals with the ontology of the possible worlds in possible world semantics. Possible worlds are considered from instrumentalist point of view (according to which we have no need in regulating of the relation of possible world to actual world
Mstislav Kazakov
doaj +1 more source
On Asynchrony and Choreographies [PDF]
, 2017 Choreographic Programming is a paradigm for the development of concurrent software, where deadlocks are prevented syntactically. However, choreography languages are typically synchronous, whereas many real-world systems have asynchronous communications ...
Cruz-Filipe, Luís, Montesi, Fabrizio
core +3 more sources
A Formal Framework for Knowledge Acquisition: Going beyond Machine Learning
Entropy, 2022 Philosophers frequently define knowledge as justified, true belief. We built a mathematical framework that makes it possible to define learning (increasing number of true beliefs) and knowledge of an agent in precise ways, by phrasing belief in terms of ...
Ola Hössjer +2 more
doaj +1 more source
Humble primary intensions: fixing two-dimensional semantics [PDF]
, 2013 Certain problems with standard two-dimensional semantics are addressed and cases in which these problems arise explored. In such cases the primary intension cannot be univocally mapped in one and only one indexical world, thus standard two-dimensional ...
Fabiano, Joao
core
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling
, 2011 We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. definite clause programs containing probabilistic facts with a parameterized distribution.
Kameya, Y., Sato, T.
core +2 more sources
Na okraj Heterocosmica II // Concerning Heterocosmica II [PDF]
Svět Literatury, 2016 The essay summarizes the theoretical effort of the author which led to the connection between fictional worlds of narrative literature and the concept of possible worlds which was developed in modal logic.
Lubomír Doležel
doaj
Дискурс, 2020 Introduction. The article continues the series of publications on the linguistics of relations (hereinafter R–linguistics) and is devoted to an introduction to the logic of natural language in relation to the approach considered in the series.
O. M. Polyakov
doaj +1 more source
Categorical Abstract Algebraic Logic: Referential π-Institutions [PDF]
, 2015 Wójcicki introduced in the late 1970s the concept of a referential semantics for propositional logics. Referential semantics incorporate features of the Kripke possible world semantics for modal logics into the realm of algebraic and matrix semantics of ...
Voutsadakis, George
core
Innocent strategies as presheaves and interactive equivalences for CCS [PDF]
, 2011 Seeking a general framework for reasoning about and comparing programming languages, we derive a new view of Milner's CCS. We construct a category E of plays, and a subcategory V of views.
Albert Burroni +37 more
core +9 more sources
Semantics and Ontology:\ud On the Modal Structure of an Epistemic Theory of Meaning [PDF]
, 2003 In this paper I shall confront three basic questions.\ud First, the relevance of epistemic structures, as formalized\ud and dealt with by current epistemic logics, for a\ud general Theory of meaning. Here I acknowledge M.
Tabet, Chiara
core