Results 1 to 10 of about 109,474 (252)

Dynamic term-modal logics for first-order epistemic planning [PDF]

Artificial Intelligence, 2020
Many classical planning frameworks are built on first-order languages. The first-order expressive power is desirable for compactly representing actions via schemas, and for specifying quantified conditions such as $\neg\exists x\mathsf{blocks\_door}(x)$.
Andrés Occhipinti Liberman, Andreas Achen, Rasmus K. Rendsvig   +2 more
openalex   +8 more sources

Impure Simplicial Complex and Term-Modal Logic with Assignment Operators [PDF]

Electronic Proceedings in Theoretical Computer Science
Impure 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.
Yang, Yuanzhe
  +5 more sources

Reasoning with Rules and Rights: Term-Modal Deontic Logic

, 2021
General obligations such as ‘every driver has to give way to a driver coming from the right’ are central in legal reasoning, but have been mostly overlooked in deontic logic. We claim that a simple extension of Standard Deontic Logic to the predicative level is insufficient to capture general obligations.
Stef Frijters, Joke Meheus, Frederik Van De Putte   +2 more
openalex   +3 more sources

Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version) [PDF]

, 2019
Logics for social networks have been studied in recent literature. This paper presents a framework based on *dynamic term-modal logic* (DTML), a quantified variant of dynamic epistemic logic (DEL). In contrast with DEL where it is commonly known to whom agent names refer, DTML can represent dynamics with uncertainty about agent identity.
Andrés Occhipinti Liberman, Rasmus K. Rendsvig   +1 more
  +6 more sources

Two variable fragment of Term Modal Logic. [PDF]

, 2019
Term modal logics (TML) are modal logics with unboundedly many modalities, with quantification over modal indices, so that we can have formulas of the form $\exists y. \forall x. (\Box_x P(x,y) \supset\Diamond_y P(y,x))$. Like First order modal logic, TML is also "notoriously" undecidable, in the sense that even very simple fragments are undecidable ...
Anantha Padmanabha, R. Ramanujam
  +7 more sources

Semantic Incompleteness of Liberman et al. (2020)’s Hilbert-style Systems for Term-modal Logics with Equality and Non-rigid Terms

Bulletin of the Section of Logic
In this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al.
Takahiro Sawasaki
doaj   +3 more sources

Quantifier-free epistemic term-modal logic with assignment operator [PDF]

Journal of Logic and Computation, 2021
Logics for social networks have been studied in recent literature. This paper presents a framework based on dynamic term-modal logic (\(\mathsf {DTML}\)), a quantified variant of dynamic epistemic logic (\(\mathsf {DEL}\)). In contrast with \(\mathsf {DEL}\) where it is commonly known to whom agent names refer, \(\mathsf {DTML}\) can represent dynamics
Yanjing Wang, Yu Wei, Jeremy Seligman
openalex   +3 more sources

Putting the Agents back in the Domain: A Two-Sorted Term-Modal Logic [PDF]

, 2018
In the present paper syntax and semantics will be presented for an expansion of ordinary n-agent QML with constant domain, non-rigid constants, rigid variables and including both functions, relations, and equality. Further, the number of agents will be specified axiomatically thus ensuring maximal flexibility wrt.
Andreas Achen
openalex   +3 more sources

Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms [PDF]

Electronic Proceedings in Theoretical Computer Science
In this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al. (2020) “Dynamic Term-modal Logics for First-order Epistemic Planning.” Term-modal logic is a family of first-order modal logics having term ...
Takahiro Sawasaki
openalex   +3 more sources

Classical term-modal logics

Journal of Logic and Computation, 2020
Abstract We introduce classical term-modal logics and argue that they are useful for modelling agent-relative notions of obligation, evidence and abilities, and their interaction with properties of and relations between the agents in question.
Stef Frijters, Frederik Van De Putte
openalex   +2 more sources