Results 211 to 220 of about 109,474 (252)
Studia Logica, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fitting, Melvin +2 more
+9 more sources
Reasoning about epistemic social network dynamics using dynamic term-modal logic
Annals of Pure and Applied Logic, 2022 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andrés Occhipinti Liberman +1 more
openalex +3 more sources
A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
ACM Transactions on Computational Logic, 2023 First order modal logic (𝖥𝖮𝖬𝖫) is built by extending First Order Logic (𝖥𝖮) with modal operators. A typical formula is of the form \(\forall x \exists y \Box P(x,y)\) .
Anantha Padmanabha, R. Ramanujam
openalex +3 more sources
The Monodic Fragment of Propositional Term Modal Logic
Studia Logica, 2018 The paper deals with so-called term modal logics (TML), introduced by \textit{M. Fitting} et al. [Stud. Log. 69, No. 1, 133--169 (2001; Zbl 0992.03026)]. In such logics, modalities are indexed by variables for agents, and these can be quantified over.
Anantha Padmanabha, R. Ramanujam
openalex +2 more sources
Term Kinds and the Formality of Aristotelian Modal Logic
History and Philosophy of Logic, 2016 Recent formalizations of Aristotle's modal syllogistic have made use of an interpretative assumption with precedent in traditional commentary: That Aristotle implicitly relies on a distinction between two classes of terms. I argue that the way Rini (2011.
Joshua Mendelsohn
openalex +2 more sources
, 2019 Term-modal logics, developed by Fitting et al., enable us to index a modal operator by a term of the first-order logic and even to quantify variables in the index of the modal operator. In this paper, we expand term-modal logics by allowing a modal operator to be indexed by a finite sequence of terms as well as a single term.
Takahiro Sawasaki +2 more
openalex +2 more sources
, 2018 The paper considers term-modal logics and introduces some decidable fragments thereof. In particular, two fragments will be introduced: one that simulates monotone non-normal logics and another one that simulates normal multi-agent epistemic logics with quantification over groups of agents. These logics are defined semantically.
Eugenio Orlandelli, Giovanna Corsi
openalex +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Logics of Modal Terms for Systems Specification
Journal of Logic and Computation, 199039885
Fiadeiro, Jose, Sernadas, Amilcar
openaire +2 more sources
DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
The Review of Symbolic Logic, 2009The question of whether knowledge is definable in terms of belief, which has played an important role in epistemology for the last 50 years, is studied here in the framework of epistemic and doxastic logics. Three notions of definability are considered: explicit definability, implicit definability, and reducibility, where explicit definability is ...
Halpern, Joseph Y. +2 more
openaire +1 more source