Search results

approach to possibilistic BL-logic 2019-08-12 Paper Decidability of order-based modal logics 2017-06-30 Paper Bi-modal Godel logic over [0,1-valued Kripke frames]...

Linear Temporal Logic 2012-10-19 Paper Best unifiers in transitive modal logics 2011-11-23 Paper Unification in linear temporal logic LTL 2011-09-22 Paper...

equilibrium models in modal logic 2014-04-24 Paper Combining Equilibrium Logic and Dynamic Logic 2013-10-10 Paper The Modal Logic of Equilibrium Models...

de/entity/Q4342096 1997-07-08 Paper Modal deduction in second-order logic and set theory - I 1997-06-10 Paper Modal Foundations for Predicate Logic 1997-06-02 Paper https://portal...

interpolation over the modal logic S4 2022-04-08 Paper Hybrid extensions of the minimal logic 2021-09-27 Paper Perceptibility in pre-Heyting logics 2020-09-24 Paper...

of modal logics. III. Products of modal and temporal logics 2003-03-12 Paper « Everywhere » and « here » 2002-09-25 Paper Products of modal logics, part...

probability 1980-01-01 Paper Set theory as modal logic 1980-01-01 Paper An extension of the Lukasiewicz logic to the modal logic of quantum mechanics 1978-01-01 Paper...

EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC 2021-07-12 Paper Tree-like constructions in topology and modal logic 2021-04-16 Paper Diego's theorem for...

MEASURABLE CARDINAL VIA MODAL LOGIC 2021-07-12 Paper Tree-like constructions in topology and modal logic 2021-04-16 Paper On modal logics arising from scattered...

agents 2019-07-03 Paper Modal logics with relative accessibility relations 2019-04-29 Paper Geometrical structures and modal logic 2019-04-29 Paper Iteration-free...

1996-04-21 Paper Cylindric modal logic 1995-08-15 Paper https://portal.mardi4nfdi.de/entity/Q4833779 1995-05-23 Paper A Modal Logic for Quantification and...

Humberstone’s Philosophical Applications of Modal Logic 2019-03-19 Paper Book review of: T. Williamson, Modal logic as metaphysics 2017-04-07 Paper A simple...

FDE-based modal logics 2021-12-27 Paper A general framework for FDE-based modal logics 2021-05-25 Paper PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS 2021-05-11...

Paper Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together 2010-01-07 Paper Regression in Modal Logic 2009-11-30 Paper On the...

calculus for modalities 2017-06-15 Paper Propositional Dynamic Logic for Petri Nets with Iteration 2016-12-21 Paper A Propositional Dynamic Logic for Concurrent...

2006-11-01 Paper Willem Blok and modal logic 2006-10-27 Paper Non-primitive recursive decidability of products of modal logics with expanding domains 2006-09-14...

bsup></mml:math> and Modal Logic with Quantified Binary Relations 2016-08-05 Paper Existential second-order logic and modal logic with quantified accessibility...

tense logic to modal logic II 1976-01-01 Paper Reduction of second‐order logic to modal logic 1975-01-01 Paper Categories of frames for modal logic 1975-01-01...

Dependence Logic 2013-04-12 Paper Complexity of Model Checking for Modal Dependence Logic 2012-06-15 Paper Complexity Results for Modal Dependence Logic 2010-09-03...

theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic 2023-11-17 Paper Jónsson-style canonicity in distributive modal µ-calculus...