Results 31 to 40 of about 109,310 (121)
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models
, 2010 This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models.
A. Al-Nayeem +25 more
core +2 more sources
Reply to Rosanna Keefe’s ‘Modelling higher-order vagueness: columns, borderlines and boundaries’ [PDF]
, 2016 This paper is an expanded written version of my reply to Rosanna Keefe’s paper ‘Modelling higher-order vagueness: columns, borderlines and boundaries’ (Keefe 2015), which in turn is a reply to my paper ‘Columnar higher-order vagueness, or Vagueness is ...
Bobzien, Susanne
core
Relational semantics of linear logic and higher-order model-checking
, 2015 In this article, we develop a new and somewhat unexpected connection between higher-order model-checking and linear logic. Our starting point is the observation that once embedded in the relational semantics of linear logic, the Church encoding of any ...
C Grellois +4 more
core +2 more sources
Completeness of Flat Coalgebraic Fixpoint Logics
, 2010 Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type.
Gastin, P. +3 more
core +1 more source
Ontology of sentential moods [PDF]
, 2016 In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ...
Žarnić, Berislav
core
, 2018 Inductive Logic is a ‘thematic compilation’ by Avi Sion. It collects in one volume many (though not all) of the essays, that he has written on this subject over a period of some 23 years, which all demonstrate the possibility and conditions of validity ...
Sion, Avi
core
Non-Fregean Logics of Analytic Equivalence (I) [PDF]
, 2015 The identity connective is usually interpreted in non-Fregean logic as an operator representing the identity of situations. This interpretation is related to the modal criterion of the identity of sentence correlates, characteristic of the WT system and ...
Biłat, Andrzej
core +1 more source
Impure Simplicial Complex and Term-Modal Logic with Assignment Operators
Electronic Proceedings in Theoretical Computer ScienceImpure simplicial complexes are a powerful tool to model multi-agent epistemic situations where agents may die, but it is difficult to define a satisfactory semantics for the ordinary propositional modal language on such models, since many conceptually dubious expressions involving dead agents can be expressed in this language.
openaire +2 more sources
An Andersonian-Kangerian Reduction of Term-Modal Deontic Logics
, 2023 In the 17th century, Leibniz analyzed obligatoriness as “what is necessary for a good person to do”. Almost 300 years later, Anderson and Kanger independently came to a similar analysis. Both proposed alethic modal logics with a deontic constant, in which an obligation operator can be defined.
openaire +1 more source
, 2007 abstract. A first-order dynamic epistemic logic is developed where the names of the agents are also terms in the sense of first-order logic. Consequently one can quantify over epistemic modalities. Us- ing constructs from dynamic logic one can express many interesting concepts.
openaire +2 more sources