Works matching Modal logic

Results: 4398

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

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

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

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

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

Some New Proof System for Propositional Modal Logic.

Published in:

National Academy of Sciences of Armenia Reports / Doklady Nacionalnaâ Akademiâ Nauk Armenii, 2024, v. 124, n. 1, p. 7, doi. 10.54503/0321-1339-2024.124.1-7

By:

Tamazyan, H. A.

Publication type:

Article

Admissibility and Unification in the Modal Logics Related to S4.2.

Published in:

Siberian Mathematical Journal, 2024, v. 65, n. 1, p. 167, doi. 10.1134/S0037446624010154

By:

Rybakov, V. V.

Publication type:

Article

Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4.

Published in:

Siberian Mathematical Journal, 2022, v. 63, n. 2, p. 286, doi. 10.1134/S0037446622020070

By:

Maksimova, L. L.;
Yun, V. F.

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

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

Fuzzy bi-Gödel modal logic and its paraconsistent relatives.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exae011

By:

Bílková, Marta;
Frittella, Sabine;
Kozhemiachenko, Daniil

Publication type:

Article

☐ and ◇ in eight-valued non-deterministic semantics for modal logics.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 2, p. 1, doi. 10.1093/logcom/exae010

By:

Pawlowski, Pawel;
Skurt, Daniel

Publication type:

Article

Hybrid sabotage modal logic.

Published in:

Journal of Logic & Computation, 2023, v. 33, n. 6, p. 1216, doi. 10.1093/logcom/exac006

By:

Benthem, Johan van;
Li, Lei;
Shi, Chenwei;
Yin, Haoxuan

Publication type:

Article

Sahlqvist correspondence theory for second-order propositional modal logic.

Published in:

Journal of Logic & Computation, 2023, v. 33, n. 3, p. 577, doi. 10.1093/logcom/exac036

By:

Zhao, Zhiguang

Publication type:

Article

Losing connection: the modal logic of definable link deletion.

Published in:

Journal of Logic & Computation, 2020, v. 30, n. 3, p. 715, doi. 10.1093/logcom/exz036

By:

Li, Dazhu

Publication type:

Article

Modal logics with hard diamond-free fragments.

Published in:

Journal of Logic & Computation, 2020, v. 30, n. 1, p. 3, doi. 10.1093/logcom/exaa001

By:

Achilleos, Antonis

Publication type:

Article

Formula size games for modal logic and μ-calculus.

Published in:

Journal of Logic & Computation, 2019, v. 29, n. 8, p. 1311, doi. 10.1093/logcom/exz025

By:

Hella, Lauri T;
Vilander, Miikka S

Publication type:

Article

Flat modal fixpoint logics with the converse modality.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 6, p. 1065, doi. 10.1093/logcom/exy016

By:

Enqvist, Sebastian

Publication type:

Article

Tree-sequent calculi and decision procedures for intuitionistic modal logics.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 5, p. 967, doi. 10.1093/logcom/exv039

By:

Galmiche, Didier;
Salhi, Yakoub

Publication type:

Article

Modal logics of sabotage revisited.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 2, p. 269, doi. 10.1093/logcom/exx034

By:

AUCHER, GUILLAUME;
VAN BENTHEM, JOHAN;
GROSSI, DAVIDE

Publication type:

Article

A Substructural Modal Logic of Utility.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1421, doi. 10.1093/logcom/exw030

By:

ANDERSON, GABRIELLE;
PYM, DAVID

Publication type:

Article

Undecidability of the transitive graded modal logic with converse.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1399, doi. 10.1093/logcom/exw026

By:

ZOLIN, EVGENY

Publication type:

Article

Dual characterizations for finite lattices via correspondence theory for monotone modal logic.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 3, p. 639, doi. 10.1093/logcom/exw011

By:

FRITTELLA, SABINE;
PALMIGIANO, ALESSANDRA;
SANTOCANALE, LUIGI

Publication type:

Article

Modal extensions of Łukasiewicz logic for modelling coalitional power.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 1, p. 129, doi. 10.1093/logcom/exv081

By:

KROUPA, TOMÁ;
TEHEUX, BRUNO

Publication type:

Article

Four-valued modal logic: Kripke semantics and duality.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 1, p. 155, doi. 10.1093/logcom/exv038

By:

RIVIECCIO, UMBERTO;
JUNG, ACHIM;
JANSANA, RAMON

Publication type:

Article

Restricted normal modal logics and levelled possible worlds semantics.

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 4, p. 687, doi. 10.1093/logcom/exs032

By:

Agudelo-Agudelo, Juan C.;
Sierra-Aristizábal, Manuel H.

Publication type:

Article

Rank-1 Modal Logics are Coalgebraic.

Published in:

Journal of Logic & Computation, 2010, v. 20, n. 5, p. 1113, doi. 10.1093/logcom/exn096

By:

SCHRÖDER, LUTZ

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

Infinitary Modal Logic and Generalized Kripke Semantics.

Published in:

Annali del Dipartimento di Filosofia dell Universita di Firenze, 2011, v. 17, p. 135

By:

Minari, Pierluigi

Publication type:

Article

Weak models of distributed computing, with connections to modal logic.

Published in:

Distributed Computing, 2015, v. 28, n. 1, p. 31, doi. 10.1007/s00446-013-0202-3

By:

Hella, Lauri;
Järvisalo, Matti;
Kuusisto, Antti;
Laurinharju, Juhana;
Lempiäinen, Tuomo;
Luosto, Kerkko;
Suomela, Jukka;
Virtema, Jonni

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

Toward a general frame semantics for modal many-valued logics.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2019, v. 23, n. 7, p. 2233, doi. 10.1007/s00500-018-3369-5

By:

Cintula, Petr;
Menchón, Paula;
Noguera, Carles

Publication type:

Article

Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic.

Published in:

Studia Logica, 2023, v. 111, n. 6, p. 1057, doi. 10.1007/s11225-023-10064-3

By:

Zhao, Zhiguang

Publication type:

Article

Complexity Results for Modal Dependence Logic.

Published in:

Studia Logica, 2013, v. 101, n. 2, p. 343, doi. 10.1007/s11225-013-9483-6

By:

Lohmann, Peter;
Vollmer, Heribert

Publication type:

Article

The γ-admissibility of Relevant Modal Logics II - The Method using Metavaluations.

Published in:

Studia Logica, 2011, v. 97, n. 3, p. 351, doi. 10.1007/s11225-011-9315-5

By:

SEKI, TAKAHIRO

Publication type:

Article

The γ-admissibility of Relevant Modal Logics I - The Method of Normal Models.

Published in:

Studia Logica, 2011, v. 97, n. 2, p. 199, doi. 10.1007/s11225-011-9306-6

By:

Seki, Takahiro

Publication type:

Article