Search Results - "MODAL logic"

Hyperintensional models for non-congruential modal logics.

Authors: Pascucci, Matteo Sedlár, Igor

Source: Logic Journal of the IGPL. Oct2025, Vol. 33 Issue 5, p1-21. 21p.

Subject Terms: MODAL logic, SEMANTICS, EPISTEMICS, SEMANTICS (Philosophy)

Generics and Weak Necessity.

Authors: Thakral, Ravi¹ (AUTHOR) rt37@st-andrews.ac.uk

Source: Inquiry. Nov2025, Vol. 68 Issue 10, p3234-3260. 27p.

Subject Terms: MODALITY (Linguistics), MODAL logic, GENERALIZATION, NONMONOTONIC logic, LINGUISTICS

Base-extension semantics for S5 modal logic Open Access.

Authors: Eckhardt, Timo Pym, David

Source: Logic Journal of the IGPL. Aug2025, Vol. 33 Issue 4, p1-14. 14p.

Subject Terms: SEMANTICS, MODAL logic, EPISTEMIC logic, KRIPKE semantics

Wigner and Friends, A Map is not the Territory! Contextuality in Multi-agent Paradoxes.

Authors: Montanhano, Sidiney B.¹ (AUTHOR) s226010@dac.unicamp.br

Source: Foundations of Science. Dec2025, Vol. 30 Issue 4, p971-1002. 32p.

Subject Terms: *CONTEXTUALISM (Philosophy), *MODAL logic, *MULTIAGENT systems, *EMPIRICAL research, *TRUST, *PARADOX

Ability as dependence modality.

Authors: Santorio, Paolo¹ (AUTHOR) paolosantorio@gmail.com

Source: Nous (0029-4624). Dec2025, Vol. 59 Issue 4, p1126-1152. 27p.

Subject Terms: *MODALITY (Linguistics), *MODAL logic, *EPISTEMIC logic, *TERMS & phrases

The Broad Escape from Narrow Fictionalism.

Authors: Dickson, Sam O’Sullivan, Jacob

Source: Metaphysica. Oct2025, p1. 18p. 1 Illustration.

Subject Terms: *FICTIONALISM (Philosophy), *MODAL logic, *DISCOURSE

A correspondence theorem for interpretability logic with respect to Verbrugge semantics.

Authors: Horvat, Sebastijan Perkov, Tin

Source: Logic Journal of the IGPL. Apr2025, Vol. 33 Issue 2, p1-13. 13p.

Subject Terms: *LOGIC, MODAL logic, SEMANTICS (Philosophy), BISIMULATION, SEMANTICS, FIRST-order logic

Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices.

Authors: Jukiewicz, Marcin Nasieniewski, Marek Petrukhin, Yaroslav et al.

Source: Logic Journal of the IGPL. Apr2025, Vol. 33 Issue 2, p1-26. 26p.

Subject Terms: *LOGIC, MODAL logic, MANY-valued logic, MOLDS (Casts & casting), AXIOMS

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

Authors: Golan, Rea¹ (AUTHOR)

Source: Logic Journal of the IGPL. Jun2025, Vol. 33 Issue 3, p1-24. 24p.

Subject Terms: *LOGIC, MODAL logic, PROOF theory, CALCULI, CALCULUS

Decidability of quantum modal logic.

Authors: Tokuo, Kenji¹ (AUTHOR)

Source: Logic Journal of the IGPL. Jun2025, Vol. 33 Issue 3, p1-7. 7p.

Subject Terms: *ALGORITHMS, QUANTUM logic, MODAL logic

Gentzen-type sequent calculus for modal logic S5 Open Access.

Authors: Alonderis, R Giedra, H

Source: Logic Journal of the IGPL. Jun2025, Vol. 33 Issue 3, p1-12. 12p.

Subject Terms: MODAL logic, CALCULUS, TREES

On structural proof theory of the modal logic K⁺ extended with infinitary derivations.

Authors: Shamkanov, Daniyar¹ (AUTHOR)

Source: Logic Journal of the IGPL. Jun2025, Vol. 33 Issue 3, p1-46. 46p.

Subject Terms: MODAL logic, CALCULUS

Axiomatization of modal logic with counting.

Authors: Fu, Xiaoxuan Zhao, Zhiguang

Source: Logic Journal of the IGPL. Apr2025, Vol. 33 Issue 2, p1-29. 29p.

Subject Terms: MODAL logic, BOOLEAN algebra, PROBABILITY measures, INSPIRATION, COUNTING

Base-extension semantics for modal logic.

Authors: Eckhardt, Timo Pym, David J

Source: Logic Journal of the IGPL. Apr2025, Vol. 33 Issue 2, p1-21. 21p.

Subject Terms: MODAL logic, SEMANTICS (Philosophy), COMPLETENESS theorem, PROPOSITION (Logic), SEMANTICS

The Topological Mu-Calculus: Completeness and Decidability.

Authors: BALTAG, ALEXANDRU BEZHANISHVILI, NICK FERNÁNDEZ-DUQUE, DAVID

Source: Journal of the ACM. Oct2023, Vol. 70 Issue 5, p1-38. 38p.

Subject Terms: MODAL logic, TOPOLOGICAL spaces, CANTOR sets

Bisimulation Quotient in Inquisitive Modal Logic.

Authors: Marić, Stipe¹ (AUTHOR)

Source: Logics. Sep2025, Vol. 3 Issue 3, p11. 12p.

Subject Terms: *BISIMULATION, *MODAL logic, *ISOMORPHISM (Mathematics), *EQUIVALENCE relations (Set theory), *SURJECTIONS

Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence.

Authors: Hartonas, Chrysafis¹ (AUTHOR)

Source: Logics. Sep2025, Vol. 3 Issue 3, p10. 38p.

Subject Terms: *MODAL logic, *RESIDUATED lattices, *NONCLASSICAL mathematical logic, *NEGATION (Logic), *DUALITY theory (Mathematics)

RNMATRICES FOR MODAL LOGICS.

Authors: CONIGLIO, MARCELO E. PAWLOWSKI, PAWEL SKURT, DANIEL

Source: Legal Theory. Sep2025, Vol. 31 Issue 3, p744-774. 31p.

Subject Terms: *MODAL logic, *SEMANTICS methodology, *SEMANTICS, *MATRICES (Mathematics), *AXIOMS

MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS.

Authors: PERINI BROGI, COSIMO NEGRI, SARA OLIVETTI, NICOLA

Source: Legal Theory. Sep2025, Vol. 31 Issue 3, p704-743. 40p.

Subject Terms: *MODAL logic, *COMPUTATIONAL complexity

The monotonicity of essence.

Authors: Vincent, William¹ wbv4ke@virginia.edu

Source: Philosophical Studies. Sep2025, Vol. 182 Issue 9, p2535-2549. 15p.

Subject Terms: *ESSENTIALISM (Philosophy), *MODAL logic, *PROPOSITION (Logic), *METAPHYSICS

People: FINE, Kit