Cover Image

Historical/temporal necessities/possibilities, and a logical theory of them in branching time

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ju, Fengkui, Zhou, Woxuan
Format:	Preprint
Published:	2022
Subjects:	Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Logic for conditional strong historical necessity in branching time and analyses of an argument for future determinism
by: Ju, Fengkui
Published: (2024)

A logic for temporal conditionals and a solution to the Sea Battle Puzzle
by: Ju, Fengkui, et al.
Published: (2017)

A minimal coalition logic
by: Li, Yinfeng, et al.
Published: (2024)

Seven kinds of equivalent models for generalized coalition logics
by: Chen, Zixuan, et al.
Published: (2025)

Completeness of two fragments of a logic for conditional strategic reasoning
by: Li, Yinfeng, et al.
Published: (2024)

Completeness of coalition logics with seriality, independence of agents, or determinism
by: Li, Yinfeng, et al.
Published: (2024)

One Joke to Rule them All? On the (Im)possibility of Generalizing Humor
by: Turgeman, Mor, et al.
Published: (2025)

OOVs in the Spotlight: How to Inflect them?
by: Sourada, Tomáš, et al.
Published: (2024)

Inconsistent dialogue responses and how to recover from them
by: Zhang, Mian, et al.
Published: (2024)

Inoculation Prompting: Eliciting traits from LLMs during training can suppress them at test-time
by: Tan, Daniel, et al.
Published: (2025)

Representation theorems for actual and alpha powers over two-agent general concurrent game frames
by: Chen, Zixuan, et al.
Published: (2026)

One ruler to measure them all: Benchmarking multilingual long-context language models
by: Kim, Yekyung, et al.
Published: (2025)

ChatGPT-generated texts show authorship traits that identify them as non-human
by: Dentella, Vittoria, et al.
Published: (2025)

Proof systems for partial incorrectness logic (partial reverse Hoare logic)
by: Oda, Yukihiro
Published: (2025)

Making first order linear logic a generating grammar
by: Slavnov, Sergey
Published: (2022)

GENEVA: GENErating and Visualizing branching narratives using LLMs
by: Leandro, Jorge, et al.
Published: (2023)

Historical Test-time Prompt Tuning for Vision Foundation Models
by: Zhang, Jingyi, et al.
Published: (2024)

Training language models to be warm and empathetic makes them less reliable and more sycophantic
by: Ibrahim, Lujain, et al.
Published: (2025)

LeanLTL: A unifying framework for linear temporal logics in Lean
by: Vin, Eric, et al.
Published: (2025)

States of LLM-generated Texts and Phase Transitions between them
by: Mikhaylovskiy, Nikolay
Published: (2025)

Musical Heritage Historical Entity Linking
by: Graciotti, Arianna, et al.
Published: (2025)

Metaphors' journeys across time and genre: tracking the evolution of literary metaphors with temporal embeddings
by: Mangiaterra, Veronica, et al.
Published: (2026)

Automatic question generation for propositional logical equivalences
by: Yang, Yicheng, et al.
Published: (2024)

Ethical Reasoning and Moral Value Alignment of LLMs Depend on the Language we Prompt them in
by: Agarwal, Utkarsh, et al.
Published: (2024)

Strong hallucinations from negation and how to fix them
by: Asher, Nicholas, et al.
Published: (2024)

Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning
by: Li, Ningke, et al.
Published: (2025)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

Matching and Linking Entries in Historical Swedish Encyclopedias
by: Börjesson, Simon, et al.
Published: (2025)

Adapting Multilingual Embedding Models to Historical Luxembourgish
by: Michail, Andrianos, et al.
Published: (2025)

Approaches to Analysing Historical Newspapers Using LLMs
by: Dobranić, Filip, et al.
Published: (2026)

Dual-branch Prompting for Multimodal Machine Translation
by: Wang, Jie, et al.
Published: (2025)

What are human values, and how do we align AI to them?
by: Klingefjord, Oliver, et al.
Published: (2024)

Why Misinformation is Created? Detecting them by Integrating Intent Features
by: Wang, Bing, et al.
Published: (2024)

Flow-SLM: Joint Learning of Linguistic and Acoustic Information for Spoken Language Modeling
by: Chou, Ju-Chieh, et al.
Published: (2025)

Can LLMs Act as Historians? Evaluating Historical Research Capabilities of LLMs via the Chinese Imperial Examination
by: Gao, Lirong, et al.
Published: (2026)

Language models as tools for investigating the distinction between possible and impossible natural languages
by: Kallini, Julie, et al.
Published: (2025)

Large Language Model probabilities cannot distinguish between possible and impossible language
by: Leivada, Evelina, et al.
Published: (2025)

Anything Goes? A Crosslinguistic Study of (Im)possible Language Learning in LMs
by: Yang, Xiulin, et al.
Published: (2025)

Large Language Models for Summarizing Czech Historical Documents and Beyond
by: Tran, Václav, et al.
Published: (2025)

Cultural Biases of Large Language Models and Humans in Historical Interpretation
by: Celli, Fabio, et al.
Published: (2025)