Handbook of modal logic /

Handbook of modal logic /

32

Bibliographic Details
Main Authors:	Blackburn, Patrick, 1959-, Benthem, J. F. A. K. van, 1949-, Wolter, Frank
Format:
Language:	eng
Published:	Amsterdam, The Netherlands : Elsevier, 2007
Subjects:	Modality (Logic)

Similar Items

Advances in modal logic /
by: Wolter, Frank
Published: (2002)

Logic and modality
by: Bevan, M
Published: (2022)

Modal logic : The lewis-modal systems /
by: 423681 Zeman, J. Jay
Published: (1973)

Modal logic : an Introduction to its syntax and semantics /
by: 374151 Cocchiarella, Nino B., et al.
Published: (2008)

Time and Modality in Avicennan Logic
by: lotfollah nabavi
Published: (2006-06-01)

Neutrosophic Modal Logic
by: Florentin Smarandache
Published: (2019-04-01)

Modal Logic before Kripke
by: Max Cresswell
Published: (2019-08-01)

On Strictly Positive Fragments of Modal Logics with Confluence
by: Stanislav Kikot, et al.
Published: (2022-10-01)

A characterisation of open bisimilarity using an intuitionistic modal logic
by: Ahrn, Ki Yung, et al.
Published: (2018)

From Intuitionism to Brouwer's Modal Logic
by: Zofia Kostrzycka
Published: (2020-12-01)

The Modal Logic of Aristotelian Diagrams
by: Stef Frijters, et al.
Published: (2023-05-01)

Linear Abelian Modal Logic
by: Hamzeh Mohammadi
Published: (2024-03-01)

Neighbourhood Semantics for Graded Modal Logic
by: Jinsheng Chen, et al.
Published: (2021-09-01)

Proof methods for modal and intuitionistic logics /
by: Fitting, Melvin, 1942-
Published: (1983)

Logic in games /
by: Benthem, Johan van, 1949-
Published: (2014)

Partial cut elimination for combinations of propositional multi-modal logics with past time
by: Jūratė Sakalauskaitė
Published: (2011-12-01)

Modalities and formal systems
by: Millar, P, et al.
Published: (1969)

A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB
by: Takao Inoue
Published: (2022-03-01)

An Arithmetically Complete Predicate Modal Logic
by: Yunge Hao, et al.
Published: (2021-12-01)

Specialization of derivations in modal logic S5
by: Aida Pliuškevičienė
Published: (2023-09-01)

New Modification of the Subformula Property for a Modal Logic
by: Mitio Takano
Published: (2020-11-01)

Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
by: Paolo Baldi, et al.
Published: (2020-07-01)

Fractional-Valued Modal Logic and Soft Bilateralism
by: Mario Piazza, et al.
Published: (2023-08-01)

Handbook of logic and language /
by: Benthem, Johan Van, et al.
Published: (1997)

Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics
by: Lorenz Demey
Published: (2021-06-01)

The Extension of Bisimulation Quantified Modal Logic Based on Covariant-Contravariant Refinement
by: Huili Xing
Published: (2019-01-01)

Handbook of Spatial Logics [electronic resource] /
by: Aiello, Marco, et al.
Published: (2007)

Note on the Intuitionistic Logic of False Belief
by: Tomasz Witczak
Published: (2022-03-01)

Reference and modality /
by: 391353 Linsky, Leonard

Contraction-free calculi for modal logics S5 and KD45
by: Julius Andrikonis, et al.
Published: (2011-12-01)

Modal Logic - a Tool for Design Process Formalisation
by: I. Jelínek
Published: (2003-01-01)

Logic of knowledge with infinitely many agents
by: Regimantas Pliuškevičius
Published: (2023-09-01)

On Paracomplete Versions of Jaśkowski's Discussive Logic
by: Krystyna Mruczek-Nasieniewska, et al.
Published: (2024-03-01)

Wiredu contra Lewis on the Right Modal Logic
by: David B. Martens
Published: (2019-08-01)

Inferences Between Buridan’s Modal Propositions
by: Jonas Dagys, et al.
Published: (2022-04-01)

Logical Determinacy versus Logical Contingency. The Case of Łukasiewicz’s Three-valued Logic
by: Schumann Andrew
Published: (2019-06-01)

Boulesic Logic, Deontic Logic and the Structure of a Perfectly Rational Will
by: Daniel Rönnedal
Published: (2020-05-01)

Modalization of the Quantifier, and Modalization of the Copula: an Investigation into the History of Logic in Islamic Tradition
by: Mohammad Ali Ejeii
Published: (2008-09-01)

Modalities for an Allegorical Conceptual Data Model
by: Bartosz Zieliński, et al.
Published: (2014-05-01)

Faith, Language, Logic: Anselm of Canterbury and his Project of Logic of Agency
by: Andrzej P. Stefańczyk
Published: (2023-09-01)