You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (28)

Journals (0)

1-10 of 28 results for First-order Modal Logic

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: First-Order Ground Non-Monotonic Modal Logic

Retricted access

Research article

First published 2008-3

First-Order Ground Non-Monotonic Modal Logic

Benjamin Grimberg, Michael Kaminski

Fundamenta Informaticae

Select article: First-order Non-monotonic Modal Logics

Retricted access

Research article

First published 2000-7

First-order Non-monotonic Modal Logics

Michael Kaminski, Guy Rey

Fundamenta Informaticae

Select article: First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

Retricted access

Research article

First published 2011-1

First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

Francesco Belardinelli, Alessio Lomuscio

Fundamenta Informaticae

Select article: Satisfiability versus Finite Satisfiability in Elementary Modal Logics

Retricted access

Research article

First published 2018

Satisfiability versus Finite Satisfiability in Elementary Modal Logics

Jakub Michaliszyn, Jan Otop, Piotr Witkowski

Fundamenta Informaticae

Select article: On Quantified Modal Logic

Retricted access

Research article

First published 1999-8

On Quantified Modal Logic

Melvin Fitting

Fundamenta Informaticae

Select article: Automated Deduction Techniques for Studying Rough Algebras

Retricted access

Research article

First published 1998-1

Automated Deduction Techniques for Studying Rough Algebras

Laurent Vigneron

Fundamenta Informaticae

Select article: On Modalities and Quantifiers

Retricted access

Research article

First published 2017-12-21

On Modalities and Quantifiers

Melvin Fitting

Fundamenta Informaticae

Select article: ON NATURAL DEDUCTION IN FIRST-ORDER FIXPOINT LOGICS

Retricted access

Research article

First published 1996-4

ON NATURAL DEDUCTION IN FIRST-ORDER FIXPOINT LOGICS

Andrzej Szalas

Fundamenta Informaticae

Select article: A Modal Logic for Indiscernibility and Complementarity in Information Systems

Retricted access

Research article

First published 2002-5

A Modal Logic for Indiscernibility and Complementarity in Information Systems

Philippe Balbiani

Fundamenta Informaticae

Select article: FIRST-ORDER ROUGH LOGIC I: APPROXIMATE REASONING VIA ROUGH SETS

Retricted access

Research article

First published 1996-9

FIRST-ORDER ROUGH LOGIC I: APPROXIMATE REASONING VIA ROUGH SETS

T.Y. Lin, Qing Liu

Fundamenta Informaticae

1
2
3
10 / page

Article type

Publication date

Subjects

Access