NCL'24: NON-CLASSICAL LOGICS: THEORY AND APPLICATIONS 2024

A
Ahmad, Rashed	A Case for Weak Kleene ST
Ayhan, Sara	Queer feminist views on contradictory logics: A symbiotic relationship
B
Becker Arenhart, Jonas	A note on Grigoriev and Zaitsev's system CNL^2_4 The power of generalized Clemens semantics
Bolotov, Alexander	Socratic Proofs for Propositional Linear-Time Temporal Logic Hypersequent Calculi for Propositional Linear-Time Temporal Logic
Buczek, Justyna	There are unknown intuitionistic truths (at least in some intuitionistic models)
Błaszczyk, Piotr	Reading Newton's "De Analysi" by hyperfinite sums Bridging Classical and Modern Approaches to Thales' Theorem: From Euclidean Proportion to Automated Theorem Proving
C
Cabbolet, Marcoen	A nonclassical theory of sets and functions: advancing the foundations of mathematics
Chlebowski, Szymon	There are unknown intuitionistic truths (at least in some intuitionistic models)
Ciabattoni, Agata	Proof surgeries in non-classical logics
Coniglio, Marcelo E.	Modal Logics - RNmatrices vs. Nmatrices
G
Gao, Han	Intuitionistic K: Proofs, Countermodels and Simulation
Gazzari, René	Weak Extensions and Free Logic: a Proof-Theoretic Case Study
Girlando, Marianna	Intuitionistic K: Proofs, Countermodels and Simulation
Goranko, Valentin	Logics for Strategic Reasoning about Socially Interacting Rational Agents
Goré, Rajeev	CEGAR-Tableaux: Improved modal satisfiability for modal and tense logics
Groza, Adrian	Mapping Probability with Logic: First Order Models in Puzzle Solving
I
Ilić Stepić, Angelina	Probability Logics for Reasoning About Measuring Quantum Observations on the spaces with innite dimension
Indrzejczak, Andrzej	Bisequent Calculi for Neutral Free Logic with Definite Descriptions
Indrzejczak, Andrzej	Sequent Calculi for Logics of Classes
Ishii, Tadao	A simulation of connexive logic based on pair sentential calculus
J
Jarmużek, Tomasz	Proof theory for Epstein’s logics of content relationship
Jarmużek, Tomasz	How classical connexive logic can be?
Jukiewicz, Marcin	Decision procedure for PLTL via the method of Socratic proofs
K
Kaito, Ichikura	Continua of logcs for negation below in intuitionistic logic
Kamide, Norihiro	Twist Sequent Calculi for S4 and its Neighbors A Unified Gentzen-style Framework for Until-free LTL Unified Gentzen Approach to Connexive Logics over Wansing's C
Kaminski, Michael	Many-Valued Modal Logic
Karniel, Amir	Many-Valued Modal Logic
Kashima, Ryo	Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
Kawano, Tomoaki	Tree Sequent Calculus for Modal Logic MB
Klonowski, Mateusz	Proof theory for Epstein’s logics of content relationship Current topics in Boolean connexive logic
Kupś, Leonard	Socratic Proofs for Propositional Linear-Time Temporal Logic Hypersequent Calculi for Propositional Linear-Time Temporal Logic
Kürbis, Nils	A Theory of Definite Descriptions Normalisation for Negative Free Logic with Definite Descriptions
L
Lenzen, Wolfgang	What medieval logicians have to say about the basic principles of connexive logic
Leszczyńska-Jasion, Dorota	Cut-elimination for non-Fregean logic WB and some of its consequences Decision procedure for PLTL via the method of Socratic proofs
M
Malinowski, Jacek	How classical connexive logic can be?
Maniwa, Akinori	Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
N
Negri, Sara	A Unified Gentzen-style Framework for Until-free LTL
Niki, Satoru	Another Constructive Motivation for Some Connexive Logics Kamide is in America, Moisil and Leitgeb are in Australia
Nishimura, Yuki	Agent-Knowledge Logic for Alternative Epistemic Logic
O
Ognjanović, Zoran	Probability Logics for Reasoning About Measuring Quantum Observations on the spaces with innite dimension
Olivetti, Nicola	Intuitionistic K: Proofs, Countermodels and Simulation
Olkhovikov, Grigory	Non-classical conditionals and connexivity
Omori, Hitoshi	A note on Grigoriev and Zaitsev's system CNL^2_4 The power of generalized Clemens semantics From Wansing's falsity conditio to connexive logic The disjunction-free fragment of D_2 is three-valued Kamide is in America, Moisil and Leitgeb are in Australia
P
Paoli, Francesco	An interpretation of McCall’s CC1
Pawłowski, Paweł	Modal Logics - RNmatrices vs. Nmatrices
Perović, Aleksandar	Probability Logics for Reasoning About Measuring Quantum Observations on the spaces with innite dimension
Petiurenko, Anna	Bridging Classical and Modern Approaches to Thales' Theorem: From Euclidean Proportion to Automated Theorem Proving
Petrukhin, Yaroslav	A Binary Quantifier for Definite Descriptions in Nelsonian Free Logic Bisequent Calculi for Neutral Free Logic with Definite Descriptions
Pezlar, Ivo	Intuitionistic natural deduction with a general collapse rule and its propositions-as-types interpretation
Płaczek, Paweł	Complexity of Nonassociative Lambek Calculus with classical logic
R
Raclavský, Jiří	Two Cases of Deduction with Descriptions and Partiality
Rott, Hans	On the history and motivations of connexive logic
S
Sankappanavar, Hanamantagouda P.	Unorthodox Algebras and Their Associated Logics
Sawasaki, Takahiro	Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms
Scha, Fatima	Intuitionistic Logic of Paradox: Introducing a Paraconsistent Intuitionistic Logic
Skurt, Daniel	Modal Logics - RNmatrices vs. Nmatrices
T
Tomczyk, Agata	Cut-elimination for non-Fregean logic WB and some of its consequences
U
Urbański, Mariusz	Socratic Proofs for Propositional Linear-Time Temporal Logic Hypersequent Calculi for Propositional Linear-Time Temporal Logic
V
Valentín, Oriol	Algebraic Completeness and Semantic Cut-Elimination of a Multimodal Formulation of Morrrill's Categorial Logic
W
Wan, Cheng-Syuan	Semi-Substructural Logics à la Lambek
Wansing, Heinrich	Connexive Counterpart Theory
Wałęga, Przemysław Andrzej	Modal logic with definite descriptions: complexity, bisimulation, and tableaux
Więckowski, Bartosz	Incomplete descriptions and qualified definiteness
Z
Zawidzki, Michał	Modal logic with definite descriptions: complexity, bisimulation, and tableaux
Ł
Łukowski, Piotr	Formalization of the Chysippus conditional
Ś
Świgło, Barbara	There are unknown intuitionistic truths (at least in some intuitionistic models)

Disclaimer | Powered by EasyChair Smart Program