Works matching Modal logic

Results: 4476

QUANTIFIED MODAL RELEVANT LOGICS.

Published in:

Review of Symbolic Logic, 2023, v. 16, n. 1, p. 210, doi. 10.1017/S1755020321000216

By:

FERENZ, NICHOLAS

Publication type:

Article

Remarks about the unification type of several non-symmetric non-transitive modal logics.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 639, doi. 10.1093/jigpal/jzy078

By:

Balbiani, Philippe

Publication type:

Article

Modal dependence logics: axiomatizations and model-theoretic properties.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 773, doi. 10.1093/jigpal/jzx023

By:

FAN YANG

Publication type:

Article

Semiproducts, Products, and Modal Predicate Logics: Some Examples.

Published in:

Doklady Mathematics, 2023, v. 108, n. 2, p. 411, doi. 10.1134/S1064562423701296

By:

Shehtman, V. B.;
Shkatov, D.

Publication type:

Article

Modal Discussive Logics: Modal Discussive Logics: K. Mruczek-Nasieniewska et al.

Published in:

Journal of Philosophical Logic, 2025, v. 54, n. 1, p. 99, doi. 10.1007/s10992-024-09781-4

By:

Mruczek-Nasieniewska, Krystyna;
Nasieniewski, Marek;
Pietruszczak, Andrzej

Publication type:

Article

Modal Information Logics: Axiomatizations and Decidability.

Published in:

Journal of Philosophical Logic, 2023, v. 52, n. 6, p. 1723, doi. 10.1007/s10992-023-09724-5

By:

Knudstorp, Søren Brinck

Publication type:

Article

Continuous Accessibility Modal Logics.

Published in:

Journal of Philosophical Logic, 2023, v. 52, n. 1, p. 221, doi. 10.1007/s10992-022-09671-7

By:

Camrud, Caleb;
Dosanjh, Ranpal

Publication type:

Article

ON DEFINABILITY OF CONNECTIVES AND MODAL LOGICS OVER FDE.

Published in:

Logic & Logical Philosophy, 2019, v. 28, n. 4, p. 631, doi. 10.12775/LLP.2019.010

By:

Odintsov, Sergei P.;
Skurt, Daniel;
Wansing, Heinrich

Publication type:

Article

INCONSISTENCY-ADAPTIVE MODAL LOGICS On How to Cope with Modal Inconsistency.

Published in:

Logic & Logical Philosophy, 2010, v. 19, n. 3, p. 31

By:

Lycke, Hans

Publication type:

Article

INCONSISTENCY-ADAPTIVE MODAL LOGICS: On How to Cope with Modal Inconsistency.

Published in:

Logic & Logical Philosophy, 2010, v. 19, n. 1/2, p. 31, doi. 10.12775/LLP.2010.003

By:

Lycke, Hans

Publication type:

Article

MODAL BOOLEAN CONNEXIVE LOGICS: SEMANTICS AND TABLEAU APPROACH.

Published in:

Bulletin of the Section of Logic, 2019, v. 48, n. 3, p. 213, doi. 10.18778/0138-0680.48.3.05

By:

Jarmużek, Tomasz;
Malinowski, Jacek

Publication type:

Article

Distribution-Free Normal Modal Logics.

Published in:

Logics, 2025, v. 3, n. 2, p. 3, doi. 10.3390/logics3020003

By:

Hartonas, Chrysafis

Publication type:

Article

SIŁA I SŁABOŚĆ LOGIK MODALNYCH.

Published in:

Philosophy of Science / Filozofia Nauki, 2022, v. 30, n. 2, p. 125, doi. 10.14394/filnau.2020.0006

By:

CZAKON, MARCIN

Publication type:

Article

AXIOMATIZABILITY OF PROPOSITIONALLY QUANTIFIED MODAL LOGICS ON RELATIONAL FRAMES.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 2, p. 758, doi. 10.1017/jsl.2022.79

By:

FRITZ, PETER

Publication type:

Article

Normal Companions of Intuitionistic Modal Logics.

Published in:

Algebra & Logic, 2023, v. 61, n. 6, p. 445, doi. 10.1007/s10469-023-09712-3

By:

Drobyshevich, S. A.

Publication type:

Article

CANONICITY IN POWER AND MODAL LOGICS OF FINITE ACHRONAL WIDTH.

Published in:

Review of Symbolic Logic, 2024, v. 17, n. 3, p. 705, doi. 10.1017/S1755020323000060

By:

GOLDBLATT, ROBERT;
HODKINSON, IAN

Publication type:

Article

CARNAP'S PROBLEM FOR MODAL LOGIC.

Published in:

Review of Symbolic Logic, 2023, v. 16, n. 2, p. 578, doi. 10.1017/S1755020321000083

By:

BONNAY, DENIS;
WESTERSTÅHL, DAG

Publication type:

Article

CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D.

Published in:

Review of Symbolic Logic, 2021, v. 14, n. 4, p. 910, doi. 10.1017/S1755020320000180

By:

BURNS, SAMARA;
ZACH, RICHARD

Publication type:

Article

PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS.

Published in:

Review of Symbolic Logic, 2020, v. 13, n. 4, p. 720, doi. 10.1017/S1755020319000261

By:

DROBYSHEVICH, SERGEY;
WANSING, HEINRICH

Publication type:

Article

BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES.

Published in:

Review of Symbolic Logic, 2020, v. 13, n. 2, p. 416, doi. 10.1017/S1755020319000121

By:

ODINTSOV, SERGEI P.;
SPERANSKI, STANISLAV O.

Publication type:

Article

MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION.

Published in:

Review of Symbolic Logic, 2019, v. 12, n. 4, p. 685, doi. 10.1017/S1755020319000030

By:

GIRARD, PATRICK;
WEBER, ZACH

Publication type:

Article

STABLE MODAL LOGICS.

Published in:

Review of Symbolic Logic, 2018, v. 11, n. 3, p. 436, doi. 10.1017/S1755020317000375

By:

BEZHANISHVILI, GURAM;
BEZHANISHVILI, NICK;
ILIN, JULIA

Publication type:

Article

STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS.

Published in:

Review of Symbolic Logic, 2017, v. 10, n. 3, p. 397, doi. 10.1017/S1755020317000119

By:

JACINTO, BRUNO

Publication type:

Article

Simple sequent systems for the modal logics K,D,T, and S4 Open Access.

Published in:

Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzaf013

By:

Golan, Rea

Publication type:

Article

Quantum modal logic.

Published in:

Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae123

By:

Tokuo, Kenji

Publication type:

Article

Remarks about the unification types of some locally tabular normal modal logics.

Published in:

Logic Journal of the IGPL, 2023, v. 31, n. 1, p. 115, doi. 10.1093/jigpal/jzab033

By:

Balbiani, Philippe;
Gencer, ÇiĞdem;
Rostamigiv, Maryam;
Tinchev, Tinko

Publication type:

Article

Unification in first-order transitive modal logic.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 693, doi. 10.1093/jigpal/jzy077

By:

Dzik, Wojciech;
Wojtylak, Piotr

Publication type:

Article

Proof theory for quantified monotone modal logics.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 478, doi. 10.1093/jigpal/jzz015

By:

Negri, Sara;
Orlandelli, Eugenio

Publication type:

Article

A modal extension of Jaśkowski's discussive logic D<sub>2</sub>.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 451, doi. 10.1093/jigpal/jzz014

By:

Mruczek-Nasieniewska, Krystyna;
Nasieniewski, Marek;
Pietruszczak, Andrzej

Publication type:

Article

Gentzen sequent calculi for some intuitionistic modal logics.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 596, doi. 10.1093/jigpal/jzz020

By:

Lin, Zhe;
Ma, Minghui

Publication type:

Article

Complexity of finite-variable fragments of propositional modal logics of symmetric frames.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 1, p. 60, doi. 10.1093/jigpal/jzy018

By:

Rybakov, Mikhail;
Shkatov, Dmitry

Publication type:

Article

A quick guided tour to the modal logic S4.2.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 4, p. 429, doi. 10.1093/jigpal/jzy008

By:

Chalki, Aggeliki;
Koutras, Costas D;
Zikos, Yorgos

Publication type:

Article

Which classical correspondence is valid in intuitionistic modal logic?

Published in:

Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 331, doi. 10.1093/jigpal/jzr044

By:

Kojima, Kensuke

Publication type:

Article

Projective unification in modal logic.

Published in:

Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 121, doi. 10.1093/jigpal/jzr028

By:

Dzik, Wojciech;
Wojtylak, Piotr

Publication type:

Article

Combinations and completeness transfer for quantified modal logics.

Published in:

Logic Journal of the IGPL, 2011, v. 19, n. 4, p. 598, doi. 10.1093/jigpal/jzp085

By:

Schurz, Gerhard

Publication type:

Article

A new deduction system for deciding validity in modal logic K.

Published in:

Logic Journal of the IGPL, 2011, v. 19, n. 2, p. 425, doi. 10.1093/jigpal/jzq033

By:

Golińska-Pilarek, Joanna;
Muñoz-Velasco, Emilio;
Mora, Angel

Publication type:

Article

Fusion of sequent modal logic systems labelled with truth values.

Published in:

Logic Journal of the IGPL, 2010, v. 18, n. 6, p. 893, doi. 10.1093/jigpal/jzp081

By:

Rasga, João;
Roggia, Karina;
Sernadas, Cristina

Publication type:

Article

Problem of restricted interpolation in superintuitionistic and some modal logics.

Published in:

Logic Journal of the IGPL, 2010, v. 18, n. 3, p. 367, doi. 10.1093/jigpal/jzp040

By:

MAKSIMOVA, LARISA

Publication type:

Article

QMML: Quantified Minimal Modal Logic and Its Applications.

Published in:

Logic Journal of the IGPL, 2003, v. 11, n. 5, p. 557, doi. 10.1093/jigpal/11.5.557

By:

Stolpe, Audun

Publication type:

Article

WHY DOES PROPOSITIONAL QUANTIFICATION MAKE MODAL AND TEMPORAL LOGICS ON TREES ROBUSTLY HARD?

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:5)2022

By:

BEDNARCZYK, BARTOSZ;
DEMRI, STÉPHANE

Publication type:

Article

A CHARACTERISATION OF OPEN BISIMILARITY USING AN INTUITIONISTIC MODAL LOGIC.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:2)2021

By:

KI YUNG AHN;
HORNE, ROSS;
TIU, ALWEN

Publication type:

Article

CANONICAL MODELS AND THE COMPLEXITY OF MODAL TEAM LOGIC.

Published in:

Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:2)2019

By:

LÜCK, MARTIN

Publication type:

Article

VALIDITY AND ENTAILMENT IN MODAL AND PROPOSITIONAL DEPENDENCE LOGICS.

Published in:

Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:4)2019

By:

HANNULA, MIIKA

Publication type:

Article

ON NESTED SEQUENTS FOR CONSTRUCTIVE MODAL LOGICS.

Published in:

Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 3, p. 1, doi. 10.2168/LMCS-11(3:7)2015

By:

ARISAKA, RYUTA;
DAS, ANUPAM;
STRASSBURGER, LUTZ

Publication type:

Article

Classical Natural Deduction for S4 Modal Logic.

Published in:

New Generation Computing, 2011, v. 29, n. 1, p. 61, doi. 10.1007/s00354-010-0099-3

By:

Kimura, Daisuke;
Kakutani, Yoshihiko

Publication type:

Article

Recursive complexity of the Carnap first order modal logic C.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 87, doi. 10.1002/malq.200410057

By:

Gheerbrant, Amélie;
Mostowski, Marcin

Publication type:

Article

On the expressive power of first-order modal logic with two-dimensional operators.

Published in:

Synthese, 2018, v. 195, n. 10, p. 4373, doi. 10.1007/s11229-016-1172-3

By:

Kocurek, Alexander W.

Publication type:

Article

Gamma graph calculi for modal logics.

Published in:

Synthese, 2018, v. 195, n. 8, p. 3621, doi. 10.1007/s11229-017-1390-3

By:

Ma, Minghui;
Pietarinen, Ahti-Veikko

Publication type:

Article

Does the deduction theorem fail for modal logic?

Published in:

Synthese, 2012, v. 187, n. 3, p. 849, doi. 10.1007/s11229-011-9905-9

By:

Hakli, Raul;
Negri, Sara

Publication type:

Article

Modal Logics are Coalgebraic1.

Published in:

Computer Journal, 2011, v. 54, n. 1, p. 31, doi. 10.1093/comjnl/bxp004

By:

Cîrstea, Corina;
Kurz, Alexander;
Pattinson, Dirk;
Schröder, Lutz;
Venema, Yde

Publication type:

Article