Pages that link to "Item:Q3003328"
From MaRDI portal
The following pages link to Towards a Proof Theory of G\"odel Modal Logics (Q3003328):
Displaying 26 items.
- Nonstandard models and Kripke's proof of the Gödel theorem (Q698542) (← links)
- On some proof theoretical properties of the modal logic GL (Q798649) (← links)
- On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← links)
- Expressivity in chain-based modal logics (Q1745356) (← links)
- Neighborhood semantics for modal many-valued logics (Q1795204) (← links)
- Logical characterizations of regular equivalence in weighted social networks (Q2014930) (← links)
- Axiomatization of crisp Gödel modal logic (Q2021571) (← links)
- On transitive modal many-valued logics (Q2035340) (← links)
- Paraconsistent Gödel modal logic (Q2104534) (← links)
- A note on strong axiomatization of Gödel justification logic (Q2193971) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Toward a general frame semantics for modal many-valued logics (Q2317513) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- (Q2721191) (← links)
- On goal-directed provability in classical logic (Q4395687) (← links)
- (Q4603449) (← links)
- Gödel Homomorphisms as Gödel Modal Operators (Q4914310) (← links)
- (Q4944902) (← links)
- (Q4986736) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- (Q5884960) (← links)
- Introduction (Q5892200) (← links)
- A Note on Gödel-Dummet Logic LC (Q6043008) (← links)
- The variety of modal weak Gödel algebras (Q6083149) (← links)
- Many-valued coalgebraic modal logic: one-step completeness and finite model property (Q6588974) (← links)
