Search
Search Results
-
On Relation Between Linear Temporal Logic and Quantum Finite Automata
Linear temporal logic is a widely used method for verification of model checking and expressing the system specifications. The relationship between...
-
Meaning in time: on temporal externalism and Kripkenstein’s skeptical challenge
The main question of metasemantics, or foundational semantics, is why an expression token has the meaning (semantic value) that it in fact has. In...
-
Constraint-Free Meaning, Fearing Death, and Temporal Bias
This paper focuses on three distinct issues in Fischer’s (2020) Death, Immortality, and Meaning in Life , viz. meaning in life, fearing death, and...
-
Part II of On the Logic of Modalities
The ultimate goal of this part is to show that a proper understanding of the problem of modalities gives insight (i) into the conceptual... -
Parameterized Complexity of Propositional Inclusion and Independence Logic
We give a comprehensive account on the parameterized complexity of model checking and satisfiability of propositional inclusion and independence... -
Inquisitive Modal Logic: A Preview
Throughout this book, we have emphasized different ways in which questions are relevant in logic. We saw that questions can be seen as names for... -
Some Issues in Buddhist Logic
The chapter deals with some important issues related to the Buddhist logic. Since Nyāya logic is treated as the mainstream Indian logic by many... -
Valuation Semantics for
S4 This expository paper presents an application, to the modal logic
S4 , of the valuation semantics technique proposed by Loparić for the basic normal... -
The Temporal Plot of Understanding the Text
When readers reflect on their sense of a narrative text, they can usually distinguish a time, relative to other times, of when they learned of... -
Imperative Logic: Indian and Western
Statements having imperative intents are found in plenty in the context of formal argumentative discourses. Commands of any form are commonly... -
Fabri’s Logic of Composite Modals
This chapter gives a historical reconstruction of Fabri’s logic of composite modals. We first study the main outlines of his modal semantics, which... -
Ethical Leadership on the Rise? A Cross-Temporal and Cross-Cultural Meta-Analysis of its Means, Variability, and Relationships with Follower Outcomes Across 15 Years
Scholars have suggested that leaders’ ethical failures at the beginning of the twenty-first century have raised awareness about the importance of...
-
Aligning the free-energy principle with Peirce’s logic of science and economy of research
The paper proposes a way to naturalise Charles S. Peirce’s conception of the scientific method, which he specified in terms of abduction, deduction...
-
Verification and Strategy Synthesis for Coalition Announcement Logic
Coalition announcement logic (CAL) is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of...
-
Neighborhood semantics for logic of knowing how
In this paper, we give an alternative semantics to the non-normal logic of knowing how proposed by Fervari et al. (Proc IJCAI 2017:1031–1038, 2017),...
-
Tracking probabilistic truths: a logic for statistical learning
We propose a new model for forming and revising beliefs about unknown probabilities. To go beyond what is known with certainty and represent the...
-
A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations
This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the...
-
Temporal sociomedical approaches to intersex* bodies
The history of the field of intersex bodies/bodies with variations of sex development (VSD) reflects the ongoing tension between sociomedical...
-
What are the “Purposes” of Buddhist Sūtras? From Vasubandhu’s Logic of Exegesis (Vyākhyāyukti)
As its name implies, Vasubandhu’s Vyākhyāyukti (VyY) explains the logic or methodology ( yukti ) of exegesis or sūtra interpretation ( vyākhyā ) and only...
-
A Separation Logic with Histories of Epistemic Actions as Resources
We propose a separation logic where resources are histories (sequences) of epistemic actions so that resource update means concatenation of histories...