logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
L

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025

IF
Papers21
Citations
Journal Papers 21
Publication Date
delete
Graded Relation Updates in Modal Logic
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFervari, Raul; Figueiredo, Daniel; Martins, Manuel A.
deleteShare
deleteSave
Index Set Complexity for Congruence Lattices of Lattices
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKjos-Hanssen, Bjorn; Nguyen, Paul Kim Long V.
deleteShare
deleteSave
Proof Search in Classical Propositional Logic with Partial Proof Terms
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSanto, Jose Espirito; Sousa, Ana Catarina
deleteShare
deleteSave
The Satisfiability Problem in a Separation Logic of Relations
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deletePeltier, Nicolas
deleteShare
deleteSave
Insensitive Games: Game Semantics for Modal Insensitivity
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBaskent, Can; Gilbert, David; Venturi, Giorgio
deleteShare
deleteSave
On Propositional Program Equivalence (Extended Abstract)
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKappe, Tobias
deleteShare
deleteSave
Paraconsistent Constructive Modal Logic
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete1
PREAI
deleteGao, Han; Kozhemiachenko, Daniil; Olivetti, Nicola
deleteShare
deleteSave
Asymptotic Reasoning With Two Variables
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAndres Montoya, J.
deleteShare
deleteSave
Convergence Laws for Expansions of Linear Preorders
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete1
PREAI
deleteKoponen, Vera; Karlsson, Edward
deleteShare
deleteSave
Infinitary Refinement Types for Temporal Properties in Scott Domains
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRiba, Colin; Kejikian, Alexandre
deleteShare
deleteSave
On Tame Semantics for Interpretability Logic
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteNavarro Arroyo, Vicent; Joosten, Joost J.
deleteShare
deleteSave
Deep Induction for Inductive Families
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteJohann, Patricia; Morehouse, Edward
deleteShare
deleteSave
A Significance-Based Account of Ceteris paribus Counterfactuals
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDelkos, Avgerinos; Girlando, Marianna
deleteShare
deleteSave
Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGao, Han; Olivetti, Nicola
deleteShare
deleteSave
Indicative Conditionals: Some Algebraic Considerations
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRivieccio, Umberto; Munoz Perez, Miguel
deleteShare
deleteSave
Logics of Import and Export for the Implicative Conditional
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRaidl, Eric
deleteShare
deleteSave
Counterexamples to Import-Export in Conditionals: A Logical Analysis
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRaidl, Eric; Gomes, Gilberto
deleteShare
deleteSave
Tabular Intermediate Logics Comparison
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRzazewski, Pawel; Stronkowski, Michal
deleteShare
deleteSave
Insignificant Choice Polynomial Time A Logic Capturing PTIME
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSchewe, Klaus-Dieter
deleteShare
deleteSave
Axiomatization and Decidability of Tense Information Logic
deleteLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFranssen, Timo Niek; Knudstorp, Soren Brinck
deleteShare
deleteSave