Results 91 to 100 of about 109,310 (121)

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
openaire   +2 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.
Padmanabha, Anantha, Ramanujam, R.
openaire   +1 more source

Decidable Term-Modal Logics

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
openaire   +1 more source

Home - About - Disclaimer - Privacy