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

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025

IF
Papers25
Citations
Journal Papers 25
Publication Date
delete
Intuitionistic μ-Calculus with the Lewis Arrow
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteAfshari, Bahareh; Grotenhuis, Lide
deleteShare
deleteSave
Interpolation for Converse PDL
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteKloibhofer, Johannes; Dalmas, Valentina Trucco; Venemal, Yde
deleteShare
deleteSave
Intuitionistic BV
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteAcclavio, Matteo; Strassburger, Lutz
deleteShare
deleteSave
Refined Tableau Systems for Some Modal Logics of Confluence
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteMotalebi, Kiana Samadpour; Schmidt, Renate A.; Nalon, Claudia
deleteShare
deleteSave
The Modal Cube Revisited: Semantics Without Worlds
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteLeme, Renato; Olarte, Carlos; Pimentel, Elaine; Coniglio, Marcelo Esteban
deleteShare
deleteSave
Designing a Safe Forward Chaining Tactic Using Productive Proofs
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteChaudhuri, Kaustuv; Gantait, Arunava; Miller, Dale
deleteShare
deleteSave
Analytic Calculi for Logics of Indicative Conditionals
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteGreati, Vitor; Marcelino, Sergio; Perez, Miguel Munoz; Rivieccio, Umberto
deleteShare
deleteSave
Non-wellfounded Proof Theory for Interpretability Logic
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteHorvat, Sebastijan; Miranda, Borja Sierra; Studer, Thomas
deleteShare
deleteSave
A Sequent Calculus Perspective on Base-Extension Semantics
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBarroso-Nascimento, Victor; Piotrovskaya, Ekaterina; Pimentel, Elaine
deleteShare
deleteSave
A Proof-Theoretic View of Basic Intuitionistic Conditional Logic
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete1
deleteOAAI
deleteDalmonte, Tiziano; Girlando, Marianna
deleteShare
deleteSave
A Tableau System for First-Order Logic with Standard Names
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteClassen, Jens; Brauner, Torben
deleteShare
deleteSave
Base-Extension Semantics for Intuitionistic Modal Logics (Extended Abstract)
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteBuzoku, Yll; Pym, David J.
deleteShare
deleteSave
Semi-competitive Differential Game Logic
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteButte, Julia; Platzer, Andre
deleteShare
deleteSave
Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteLitak, Tadeusz; Sano, Katsuhiko
deleteShare
deleteSave
Cyclic System for an Algebraic Theory of Alternating Parity Automata
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteDas, Anupam; De, Abhishek
deleteShare
deleteSave
Justification Logic for Intuitionistic Modal Logic
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteMarin, Sonia; Padhiar, Paaras
deleteShare
deleteSave
Forward Proof Search for Intuitionistic Multimodal K Logics
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteVoorneveld, Niels
deleteShare
deleteSave
Finding Connections via Satisfiability Solving
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteEisenhofer, Clemens; Rawson, Michael; Kovacs, Laura
deleteShare
deleteSave
Analytic Proofs for Tense Logic
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteCiabattoni, Agata; Lang, Timo; Ramanayake, Revantha
deleteShare
deleteSave
A Godel Modal Logic over Witnessed Crisp Models
deleteAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteFerrari, Mauro; Fiorentini, Camillo; Rodriguez, Ricardo Oscar
deleteShare
deleteSave