Search
Search Results
-
Specification of time in Tichý’s transparent intensional logic and Prior’s temporal logic
In his paper ‘The logic of temporal discourse’, Pavel Tichý pointed out that contemporary systems of logic were unable to sufficiently formalise...
-
Detecting bots with temporal logic
Social bots are computer programs that act like human users on social media platforms. Social bot detection is a rapidly growing field dominated by...
-
A Logic of Temporal Contingency
We propose a logic of temporal contingency, which has operators of past and future contingency as primitive modalities. This logic is less expressive...
-
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic
This study introduces refutation-aware Gentzen-style sequent calculi and Kripke-style semantics for propositional until-free linear-time temporal...
-
A Temporal Logic for Successive Events
A succession of events is a sequence of events such that after one event is finished, the next one occurs successively. In this paper, we extended... -
Loop-Check Specification for a Sequent Calculus of Temporal Logic
In our previous work we have introduced loop-type sequent calculi for propositional linear discrete tense logic and proved that these calculi are...
-
Revising System Specifications in Temporal Logic
Although formal system verification has been around for many years, little attention was given to the case where the specification of the system has...
-
Temporal Omniscience, Free will, and Their Logic
Taking divine omniscience as including temporal omniscience, which means God exists at all times and knows everything, I point out the fallacies in...
-
Temporal Logic of Minkowski Spacetime
We present the proof that the temporal logic of two-dimensional Minkowski spacetime is decidable, PSPACE-complete. The proof is based on a type of... -
Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals
This essay narrates some of the influences that Alasdair Urquhart has had on computer science at the intersection of automated theorem proving,... -
“The Logic of Species”: A Translation of Tosaka Jun’s Commentary on Tanabe Hajime
In this translation of his 1936 essay, Tosaka Jun critically examines Tanabe Hajime’s “logic of species,” paying particular attention to its basis,...
-
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension
As Classical Propositional Logic finds its algebraic counterpart in Boolean algebras, the logic of Quantum Mechanics, as outlined within G. Birkhoff...
-
Communication Pattern Logic: Epistemic and Topological Views
We propose communication pattern logic . A communication pattern describes how processes or agents inform each other, independently of the information...
-
A Simple Logic of Concepts
In Pietroski (
2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The... -
The Ambivalence of Husserl’s Early Logic: Between Austrian Semanticism and German Idealism
Prolegomena to Pure Logic (1900) is the definitive statement of Husserl’s early logic. But what does it say that logic is? I argue that Husserl in...
-
The Logic of Action and Control
In this paper I propose and motivate a logic of the interdefined concepts of making true and control , understood as intensional propositional...
-
Logic-Sensitivity and Bitstring Semantics in the Square of Opposition
This paper explores the interplay between logic-sensitivity and bitstring semantics in the square of opposition. Bitstring semantics is a...
-
Definite descriptions and hybrid tense logic
We provide a version of first-order hybrid tense logic with predicate abstracts and definite descriptions as the only non-rigid terms. It is...
-
From Counterfactual Conditionals to Temporal Conditionals
Although it receives less attention, (Lewis in Noûs 13:455–476, 1979. https://doi.org/10.2307/2215339 ) admitted that the branching-time(-like) model...
-
Logic of alternative-I
This paper aims to construct a logic of alternative-I that provides a proper conceptual framework for talk of possible-I in decision-making context,...