Cover Image

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Nishimura, Yuki
Format:	Preprint
Published:	2022
Subjects:	Logic Logic in Computer Science 03B60
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Complete and Terminating Tableau Calculus for Undirected Graph
by: Nishimura, Yuki, et al.
Published: (2024)

There are (other) ways to negate in propositional team semantics
by: Yang, Fan
Published: (2024)

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
by: Hartonas, Chrysafis
Published: (2023)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness
by: Krawczyk, Krzysztof A.
Published: (2024)

Logics of False Belief and Radical Ignorance
by: Fan, Jie
Published: (2024)

Convex Team Logics
by: Anttila, Aleksi, et al.
Published: (2025)

Reasoning Around Paradox with Grounded Deduction
by: Ford, Bryan
Published: (2024)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

The complexity of being monitorable
by: Camerlo, Riccardo, et al.
Published: (2026)

Interleaving Logic and Counting
by: van Benthem, Johan, et al.
Published: (2025)

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

Collapsing Constructive and Intuitionistic Modal Logics
by: Pacheco, Leonardo
Published: (2024)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
by: Wolter, Frank, et al.
Published: (2024)

The Myhill isomorphism theorem does not generalize much
by: Pradic, Cécilia
Published: (2025)

Completeness in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic
by: Sun, Xin, et al.
Published: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
by: Nishimura, Yuki
Published: (2024)

Inclusion with repetitions and Boolean constants -- implication problems revisited
by: Häggblom, Matilda
Published: (2025)

Axiomatization of approximate exclusion
by: Häggblom, Matilda
Published: (2024)

Axiomatizing approximate inclusion
by: Häggblom, Matilda
Published: (2025)

On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop
by: Sun, Xin, et al.
Published: (2024)

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

First-Order Fischer Servi Logic
by: Christensen, Ahmee
Published: (2024)

Hypersequent Calculi Have Ackermannian Complexity
by: Balasubramanian, A. R., et al.
Published: (2026)

Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises
by: Proietti, Carlo, et al.
Published: (2025)

Expressibility and inexpressibility in propositional team logics
by: Häggblom, Matilda, et al.
Published: (2025)

Possible and impossible conditionals for team logics
by: Barbero, Fausto, et al.
Published: (2026)

Capturing dual team properties with inclusion atoms
by: Häggblom, Matilda
Published: (2026)

Interpolation in Non-Classical Logics
by: Fussner, Wesley
Published: (2025)

Axiomatizing modal inclusion logic and its variants
by: Anttila, Aleksi, et al.
Published: (2023)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
by: Hausmann, Daniel, et al.
Published: (2022)

Sequent Calculi for some subintuitionistic Logics
by: Maleki, Fatemeh Shirmohammadzadeh
Published: (2024)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
by: Nakamura, Yuki
Published: (2026)