Topic
Modal operator
About: Modal operator is a research topic. Over the lifetime, 1151 publications have been published within this topic receiving 22865 citations. The topic is also known as: modal connective.
Papers published on a yearly basis
Papers
More filters
••
7 citations
••
7 citations
•
01 Jan 2009TL;DR: The paper investigates the famous Searlean distinction between "brute" and "institutional" concepts from a logical point of view and introduces a modal logic which formalizes the notion of (propositional) logical equivalence up to a given signature.
Abstract: The paper investigates the famous Searlean distinction between "brute" and "institutional" concepts from a logical point of view. We show how the partitioning of the non-logical alphabet—e.g., into "brute" and "institutional" atoms—gives rise to interesting modal properties. A modal logic, called UpTo-logic, is introduced and investigated which formalizes the notion of (propositional) logical equivalence up to a given signature.
7 citations
••
TL;DR: The concept of operator, as it should be defined within the framework of GB of TGG, is introduced, and it is demonstrated that modal adverbs behave at LF as propositional operators.
7 citations
••
TL;DR: It is shown how Temporal Equilibrium Logic, which introduces modal operators as those typically handled in Linear-Time Temporal Logic, can be encoded into Infinitary Equ equilibrium Logic, a recent formalisation that allows the use of infinite conjunctions and disjunctions.
Abstract: This paper studies the relation between two recent extensions of propositional Equilibrium Logic, a well-known logical characterisation of Answer Set Programming. In particular, we show how Temporal Equilibrium Logic, which introduces modal operators as those typically handled in Linear-Time Temporal Logic (LTL), can be encoded into Infinitary Equilibrium Logic, a recent formalisation that allows the use of infinite conjunctions and disjunctions. We prove the correctness of this encoding and, as an application, we further use it to show that the semantics of the temporal logic programming formalism called TEMPLOG is subsumed by Temporal Equilibrium Logic.
7 citations